Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine. An Approach to the Description and Analysis 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 149-178, Springer, 1992.
@inproceedings{NicollinOSY92,
title = {An Approach to the Description and Analysis of Hybrid Systems},
author = {Xavier Nicollin and Alfredo Olivero and Joseph Sifakis and Sergio Yovine},
year = {1992},
tags = {analysis, systematic-approach},
researchr = {https://researchr.org/publication/NicollinOSY92},
cites = {0},
citedby = {0},
pages = {149-178},
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},
}