Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification

• Authors:

• Luca de Alfaro;Arjun Kapur;Zohar Manna

• Affiliations:

• -;-;-

• Venue:
• STACS '97 Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science
• Year:
• 1997