Correctness verification of concurrent controller specifications

• Authors:

• M. T. L. Schaefer;W. U. Klein

• Affiliations:

• -;-

• Venue:
• EURO-DAC '92 Proceedings of the conference on European design automation
• Year:
• 1992