Maximal Synthesis for Hennessy-Milner Logic
| Title | Maximal Synthesis for Hennessy-Milner Logic |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Hulst, AVC, Reniers, MA, Fokkink, WJ |
| Journal | {ACM} Trans. Embedded Comput. Syst. |
| Volume | 14 |
| Pagination | 10:1–10:21 |
| URL | http://doi.acm.org/10.1145/2680540 |
| DOI | 10.1145/2680540 |
Work Package:
WP4
