Maximal Synthesis for Hennessy-Milner Logic
| Title | Maximal Synthesis for Hennessy-Milner Logic |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | van Hulst, A, Reniers, MA, Fokkink, W |
| Conference Name | ACSD |
Work Package:
WP4
| Title | Maximal Synthesis for Hennessy-Milner Logic |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | van Hulst, A, Reniers, MA, Fokkink, W |
| Conference Name | ACSD |
