Compositional Construction of Most General Controllers

TitleCompositional Construction of Most General Controllers
Publication TypeJournal Article
Year of Publication2015
AuthorsKlein, J, Baier, C, Klüppelholz, S
JournalActa Informatica, Special Issue: Combining Compositionality and Concurrency: Part 2
Volume52
Pagination443–482
Work Package: 
WP1