Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Allan C. Van Hulst  [Clear All Filters]
2015
A. V. C. Hulst, M. A. Reniers, and W. J. Fokkink, “Maximal Synthesis for Hennessy-Milner Logic”, {ACM} Trans. Embedded Comput. Syst., vol. 14, p. 10:1–10:21, 2015.