Author:
Geeraerts Gilles,Raskin Jean-François,Sznajder Nathalie
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference27 articles.
1. Alur R (1999) Timed automata. In: Proceedings of CAV’99, vol 1633. Lecture notes in computer science. Springer, Berlin, pp 8–22
2. Alur R, Courcoubetis C, Dill D (1993) Model-checking in dense real-time. Inf Comput 104:2–34
3. Alur R, Dill D (1994) A theory of timed automata. Theor Comput Sci 126(2):183–236
4. Alur R, Fix L, Henzinger TA (1999) Event-clock automata: a determinizable class of timed automata. Theor Comput Sci 211(1–2):253–273
5. Behrmann G, David A, Larsen KG, Håkansson J, Pettersson P, Yi W, Hendriks M (2006) Uppaal 4.0. In: Proceedings of QEST’06. IEEE Computer Society, New York, pp 125–126
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献