Author:
Herbreteau Frédéric,Srivathsan B.,Walukiewicz Igor
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference25 articles.
1. Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183–235
2. Lecture notes in computer science;R Alur,2004
3. Behrmann G, Bouyer P, Larsen KG, Pelanek R (2006) Lower and upper bounds in zone-based abstractions of timed automata. Int J Softw Tools Technol Transf 8(3):204–215
4. Behrmann G, David A, Larsen KG, Haakansson J, Pettersson P, Yi W, Hendriks M (2006) Uppaal 4.0. In: Third international conference on the quantitative evaluation of systems (QEST 2006), 11–14 September 2006, Riverside, California, USA. IEEE Computer Society, Los Alamitos, pp 125–126
5. Bérard B, Bouyer B, Petit A (2004) Analysing the pgm protocol with UPPAAL. Int J Prod Res 42(14):2773–2791
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献