Verification of Clocked and Hybrid Systems - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Yonit Kesten, Zohar Manna, Amir Pnueli. Verification of Clocked and Hybrid Systems. In Grzegorz Rozenberg, Frits W. Vaandrager, editors, Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996. Volume 1494 of Lecture Notes in Computer Science, pages 4-73, Springer, 1996.

The following publications are possibly variants of this publication:

Verifying Clocked Transition SystemsYonit Kesten, Zohar Manna, Amir Pnueli. hybrid 1996: 13-40

Verifying Hybrid SystemsZohar Manna, Amir Pnueli. hybrid 1993: 4-35

runs on WebDSL