Author:
Boniol Frédéric,Ermont Jérôme,Pagetti Claire
Publisher
Springer Science and Business Media LLC
Reference28 articles.
1. Aceto L, Bouyer P, Burgueño A, Larsen KG (2001) The power of reachability testing for timed automata. Tech. Rep. LSV-01-6, ENS Cachan, France
2. Adélaïde M, Roux O (2002) A class of decidable parametric hybrid systems. In: 9th International conference on algebraic methodology and software technology. Lecture Notes in Computer Science, vol 2422. Springer, Heidelberg
3. Alur R, Dill DL (1994) Theory of timed automata. Theor Comp Sci 126(2): 183–235
4. Alur R, Courcoubetis C, Henzinger TA, Ho PH (1992) Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: Hybrid systems, pp 209–229
5. Bérard B, Laroussinie F, Petit A, Schnoebelen P (2001) Systems and software verification. Model-checking techniques and tools. Springer, Heidelberg