An iterative approach to verification of real-time systems

• Authors:

• Felice Balarin;Alberto L. Sangiovanni-Vincentelli

• Affiliations:

• -;-

• Venue:
• Formal Methods in System Design - Special issue on computer-aided verification (based on CAV'92 workshop)
• Year:
• 1995