Dirk A. van Beek, J. E. Rooda, Ramon R. H. Schiffelers. Simulation and Verification of Hybrid Systems using Chi. In Christos G. Cassandras, Alessandro Giua, Carla Seatzu, Janan Zaytoon, editors, 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2006, Alghero, Italy, June 7-9, 2006. Volume 39 of IFAC Proceedings Volumes, pages 265-266, Elsevier, 2006. [doi]
@inproceedings{BeekRS06,
title = {Simulation and Verification of Hybrid Systems using Chi},
author = {Dirk A. van Beek and J. E. Rooda and Ramon R. H. Schiffelers},
year = {2006},
doi = {10.3182/20060607-3-IT-3902.00048},
url = {https://doi.org/10.3182/20060607-3-IT-3902.00048},
researchr = {https://researchr.org/publication/BeekRS06},
cites = {0},
citedby = {0},
pages = {265-266},
booktitle = {2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2006, Alghero, Italy, June 7-9, 2006},
editor = {Christos G. Cassandras and Alessandro Giua and Carla Seatzu and Janan Zaytoon},
volume = {39},
number = {5},
series = {IFAC Proceedings Volumes},
publisher = {Elsevier},
}