Affiliation:
1. University of Oldenburg
Publisher
Open Publishing Association
Reference27 articles.
1. A Theory of Timed Automata;Alur;Theoretical Computer Science,1994
2. A Tutorial on Uppaal;Behrmann,2004
3. Uppaal Stratego for Intelligent Traffic Lights;Berre Eriksen,2017
4. Checking and Distributing Statistical Model Checking
5. A calculus of durations;Chaochen;Information Processing Letters,1991
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献