Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines
- 1 January 1998
- journal article
- research article
- Published by Springer Nature in Discrete Event Dynamic Systems
- Vol. 8 (4), 377-429
- https://doi.org/10.1023/a:1008301317459