Alessandro D'Innocenzo, A. Agung Julius, George J. Pappas, Maria Domenica Di Benedetto, S. Di Gennaro. Verification of temporal properties on hybrid automata by simulation relations. In 46th IEEE Conference on Decision and Control, CDC 2007, New Orleans, LA, USA, December 12-14, 2007. pages 4039-4044, IEEE, 2007. [doi]
@inproceedings{DInnocenzoJPBG07,
title = {Verification of temporal properties on hybrid automata by simulation relations},
author = {Alessandro D'Innocenzo and A. Agung Julius and George J. Pappas and Maria Domenica Di Benedetto and S. Di Gennaro},
year = {2007},
doi = {10.1109/CDC.2007.4434716},
url = {http://dx.doi.org/10.1109/CDC.2007.4434716},
researchr = {https://researchr.org/publication/DInnocenzoJPBG07},
cites = {0},
citedby = {0},
pages = {4039-4044},
booktitle = {46th IEEE Conference on Decision and Control, CDC 2007, New Orleans, LA, USA, December 12-14, 2007},
publisher = {IEEE},
}