Maximal Synthesis for Hennessy-Milner Logic with the Box Modality

TitleMaximal Synthesis for Hennessy-Milner Logic with the Box Modality
Publication TypeConference Paper
Year of Publication2014
Authorsvan Hulst, A, Reniers, MA, Fokkink, W
Conference NameWorkshop on Discrete Event Systems
PublisherIFAC-PapersOnline
Conference LocationCachan, France
DOI10.3182/20140514-3-FR-4046.00034