Skip to main navigation Skip to search Skip to main content

Maximal synthesis for Hennessy-Milner logic

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