| 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 |
Maximal synthesis for Hennessy-Milner logic
A. van Hulst, M.A. Reniers, W.J. Fokkink
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review