Author:
Behrmann Gerd,Bouyer Patricia,Fleury Emmanuel,Larsen Kim G.
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. R. Alur, C. Courcoubetis, D. Dill, N. Halbwachs, and H. Wong-Toi. An Implementation of Three Algorithms for Timing Verification Based on Automata Emptiness. In Proc. 13th IEEE Real-Time Systems Symp. (RTSS’92), pp. 157–166. IEEE Computer Society Press, 1992.
2. Lect Notes Comput Sci;R. Alur,1992
3. R. Alur and D. Dill. ATheory ofTimedAutomata. Theoretical Computer Science, 126(2):183–235, 1994.
4. Lect Notes Comput Sci;G. Behrmann,1999
5. J. Bengtsson. Clocks, DBMs ans States in Timed Systems. PhD thesis, Dept. of Information Technology, Uppsala Univ., Uppsala, Sweden, 2002.
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献