Supervisory control of finite state machines (0)

by A Aziz, F Balarin, R K Brayton, M D Dibenedetto, A Sladanha, A L SangiovanniVincentelli
Venue:Proceedings of the 7th International Conference On Computer Aided Verification, volume 939 of Lecture