Real-Time Verification of Statemate Designs

• Authors:

• Udo Brockmeyer;Gunnar Wittich

• Affiliations:

• -;-

• Venue:
• CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
• Year:
• 1998