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:360 - 20 self