Author:
Behrmann Gerd,David Alexandre,Larsen Kim G.
Publisher
Springer Berlin Heidelberg
Reference51 articles.
1. Aceto, L., Bouyer, P., Burgueño, A., Larsen, K.G.: The power of reachability testing for timed automata. Theoretical Computer Science 1-3(300), 411–475 (2003)
2. Lecture Notes in Computer Science;L. Aceto,1998
3. Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking for realtime systems. In: 5th Symposium on Logic in Computer Science (LICS 1990), pp. 414–425 (1990)
4. Lecture Notes in Computer Science;R. Alur,1990
5. Lecture Notes in Computer Science;T. Amnell,2001
Cited by
575 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献