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 | 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014. |
| URL | http://dx.doi.org/10.3182/20140514-3-FR-4046.00034 |
| DOI | 10.3182/20140514-3-FR-4046.00034 |
Work Package:
WP4
