Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of 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 209-229, Springer, 1992.
@inproceedings{AlurCHH92,
title = {Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems},
author = {Rajeev Alur and Costas Courcoubetis and Thomas A. Henzinger and Pei-Hsin Ho},
year = {1992},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/AlurCHH92},
cites = {0},
citedby = {0},
pages = {209-229},
booktitle = {Hybrid Systems},
editor = {Robert L. Grossman and Anil Nerode and Anders P. Ravn and Hans Rischel},
volume = {736},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57318-6},
}