Search CORE

3 research outputs found

Eine Verallgemeinerung der Überwachersynthese mit Hilfe des mü-Kalküls

Author: Ziller Roberto
Publication venue: KIT-Bibliothek, Karlsruhe
Publication date: 01/01/2005
Field of study

Jahresbericht der Fakultät für Informatik und der mit ihr verbundenen Informatikeinrichtungen. 2005

Author: Fakultät für Informatik
Publication venue: Universität Karlsruhe (TH)
Publication date: 01/01/2006
Field of study

Jahresbericht der Fakultät für Informatik und der mit ihr verbundenen Informatikeinrichtungen. 2003

Author: Fakultät für Informatik
Publication venue: Universität Karlsruhe (TH)
Publication date: 01/01/2004
Field of study

core

core