Maximal synthesis for Hennessy-Milner logic

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

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProc. 13th Conference on Application of Concurrency to System Design - ACSD'13
PublisherIEEE
Pages1-10
Publication statusPublished - 2013

Cite this