You are here

Home ›

Publications

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.

   

                              

Powered by Drupal