Nebenläufigkeitstheorie
Hochrangige Informatiker aus aller Welt treffen sich in Aachen
Die „Aachen Concurrency and Dependability Week” unter Leitung von Univ.-Prof. Dr.ir. Joost-Pieter Katoen, Lehrstuhlinhaber für Informatik 2…