Documents Related by Co-Citation

607 The algorithmic analysis of hybrid systems – R. Alur, C. Courcoubetis, N. Halbwachs , T. A. Henzinger, P.-H. Ho, X. Nicollin , A. Olivero , J. Sifakis , S. Yovine - 1995
2170 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
147 From Timed to Hybrid Systems – Oded Maler, Zohar Manna, Amir Pnueli
2014 A theory of timed automata – Rajeev Alur - 1999
2054 The Unified Modeling Language User Guide – G Booch, J Rumbaugh, I Jacobson - 1999
3451 Communicating Sequential Processes – C. A. R. Hoare - 1985
504 UPPAAL in a Nutshell – Kim G. Larsen, Paul Pettersson, Wang Yi - 1997
491 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996
71 Modularity for Timed and Hybrid Systems – Rajeev Alur , Thomas A. Henzinger - 1997