Maximal synthesis for Hennessy-Milner logic

A.C. Hulst, van, M.A. Reniers, W.J. Fokkink

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    6 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings of 13th Conference on Application of Concurrency to System Design (ACSD'13), 8-10 July 2013, Barcelona, Spain
    Publication statusPublished - 2013

    Cite this

    Hulst, van, A. C., Reniers, M. A., & Fokkink, W. J. (2013). Maximal synthesis for Hennessy-Milner logic. In Proceedings of 13th Conference on Application of Concurrency to System Design (ACSD'13), 8-10 July 2013, Barcelona, Spain