Maximal synthesis for Hennessy-Milner logic with the box modality

A. van Hulst, M.A. Reniers, W.J. Fokkink

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProc. 12th Workshop on Discrete Event Systems - WODES'14
PublisherIFAC-IEEE
Pages278-285
Publication statusPublished - 2014

Cite this