How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems (Extended Abstract)

• Authors:

• Amir Pnueli

• Affiliations:

• -

• Venue:
• CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
• Year:
• 1992