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

著者: Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho - Lecture notes in computer science 1992 被引用: 1,103