Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems (1992)

by Rajeev Alur , Costas Courcoubetis , Thomas A. Henzinger , Pei-Hsin Ho
Citations:387 - 20 self

Document Versions

Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems –Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho — 1992
Hybrid Automata: an algorithmic approach to the specification and verification of hybrid systems –Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-hsin Ho — 1993