Supervisory Control of Finite State Machines

• Authors:

• Adnan Aziz;Felice Balarin;Robert K. Brayton;M. D. DiBenedetto;Alexander Saldanha

• Affiliations:

• -;-;-;-;-

• Venue:
• Proceedings of the 7th International Conference on Computer Aided Verification
• Year:
• 1995