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.
@inproceedings{KestenMP96,
title = {Verification of Clocked and Hybrid Systems},
author = {Yonit Kesten and Zohar Manna and Amir Pnueli},
year = {1996},
researchr = {https://researchr.org/publication/KestenMP96},
cites = {0},
citedby = {0},
pages = {4-73},
booktitle = {Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996},
editor = {Grzegorz Rozenberg and Frits W. Vaandrager},
volume = {1494},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-65193-4},
}