Maximal synthesis for Hennessy-Milner logic

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

Original language	English
Title of host publication	Proc. 13th Conference on Application of Concurrency to System Design - ACSD'13
Publisher	IEEE
Pages	1-10
Publication status	Published - 2013

Persistent URL (handle)