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]
Abstract is missing.