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

Amir Pnueli

Browse the full CONCUR paper archive.