Zohar Manna, Amir Pnueli. Verifying Hybrid Systems. In Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel, editors, Hybrid Systems. Volume 736 of Lecture Notes in Computer Science, pages 4-35, Springer, 1992.
No reviews for this publication, yet.