![](/img/cover-not-exists.png)
Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines
George Barrett, Stéphane LafortuneVolume:
8
Language:
english
Pages:
53
Journal:
Discrete Event Dynamic Systems
DOI:
10.1023/a:1008301317459
Date:
December, 1998
File:
PDF, 433 KB
english, 1998