Maximal Synthesis for Hennessy-Milner Logic

2013 13th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2013.4 ◽

2013 ◽

Cited By ~ 3

Author(s):

A.C. van Hulst ◽

M.A. Reniers ◽

W.J.Fokkink

Download Full-text