Maximal Synthesis for Hennessy-Milner Logic with the Box Modality
| Title | Maximal Synthesis for Hennessy-Milner Logic with the Box Modality |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | van Hulst, A, Reniers, MA, Fokkink, W |
| Conference Name | Workshop on Discrete Event Systems |
| Publisher | IFAC-PapersOnline |
| Conference Location | Cachan, France |
| DOI | 10.3182/20140514-3-FR-4046.00034 |
