MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Hybrid Automata An Algorithmic Approach to the Specification and Verification of Hybrid Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems
by Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho — 1992
… Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems…
Cited by 296 (20 self) – Add To MetaCart

Compositional and Uniform Modelling of Hybrid Systems
by Albert Benveniste
… approach to the specification and verification of hybrid systems, in Hybrid systems, Lecture Notes…
Cited by 10 (0 self) – Add To MetaCart

Bibliography
by Achh Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-hsin Ho, Ao Ravindra K. Ahuja, A. Beringer, G. Aschemann, H. H. Hoos, M. Metzger, A. Wei Gsat, Bm Justin A. Boyan
…. Hybrid Automata: an Algorithmic Approach to the Specification and Verification of Hybrid Systems…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB