| Original language | English |
|---|---|
| Title of host publication | Proceedings of 13th Conference on Application of Concurrency to System Design (ACSD'13), 8-10 July 2013, Barcelona, Spain |
| Publication status | Published - 2013 |
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)