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

researchr

You are not signed in
Sign in
Sign up

Amir Pnueli. How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems (Extended Abstract). In Rance Cleaveland, editor, CONCUR 92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings. Volume 630 of Lecture Notes in Computer Science, pages 162-175, Springer, 1992.

The following publications are possibly variants of this publication:

Verifying Liveness Properties of Reactive Systems (Tutorial Abstract)Amir Pnueli. hybrid 1997: 1

runs on WebDSL