Subject
General Computer Science,Theoretical Computer Science
Reference33 articles.
1. R. Alur, C. Courcoubetis, D. Dill, Model-checking for real-time systems, 5th Annu. IEEE Symp. on Logic in Computer Science, IEEE Press, New York, 1990, pp. 414–425.
2. A theory of timed automata;Alur;Theoret. Comput. Sci.,1994
3. R. Alur, T. Henzinger, E. Sontag (Eds.), in: Hybrid Systems III, Lecture Notes in Computer Science, vol. 1066, Springer, Berlin, 1996.
4. Uppaal – a tool suite for automatic verification of real-time systems;Bengtsson,1996
5. Verification of an audio control protocol;Bosscher,1994
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献