Publications

Export 3 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Wan Fokkink  [Clear All Filters]
2014
A. van Hulst, M. A. Reniers, and W. Fokkink, “Maximal Synthesis for Hennessy-Milner Logic with the Box Modality”, in 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014., 2014.
A. van Hulst, M. A. Reniers, and W. Fokkink, “Maximal Synthesis for Hennessy-Milner Logic with the Box Modality”, in Workshop on Discrete Event Systems, Cachan, France, 2014.