Adnan Aziz, Felice Balarin, Robert K. Brayton, M. D. DiBenedetto, Alexander Saldanha. Supervisory Control of Finite State Machines. In Pierre Wolper, editor, Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings. Volume 939 of Lecture Notes in Computer Science, pages 279-292, Springer, 1995.
Abstract is missing.