Maximal Synthesis for Hennessy-Milner Logic

TitleMaximal Synthesis for Hennessy-Milner Logic
Publication TypeJournal Article
Year of Publication2015
AuthorsHulst, AVC, Reniers, MA, Fokkink, WJ
Journal{ACM} Trans. Embedded Comput. Syst.
Volume14
Pagination10:1–10:21
URLhttp://doi.acm.org/10.1145/2680540
DOI10.1145/2680540
Work Package: 
WP4