Author:
Laroussinie F.,Markey N.,Schnoebelen Ph.
Subject
General Computer Science,Theoretical Computer Science
Reference49 articles.
1. Is your model checker on time? On the complexity of model checking for timed modal logics;Aceto;J. Logic Algebraic Programming,2002
2. R. Alur, Techniques for automatic verification of real-time systems, Ph.D. Thesis, Stanford University, August 1991. Available as Technical Report STAN-CS-91-1378.
3. R. Alur, C. Courcoubetis, D.L. Dill, Model-checking for real-time systems, in: Proc. Fifth IEEE Symp. Logic in Computer Science (LICS’90), Philadelphia, PA, USA, June 1990, IEEE Computer Society Press, Silver Spring, MD, 1990, 414–425.
4. Model-checking in dense real-time;Alur;Inform. Comput.,1993
5. R. Alur, C. Courcoubetis, T.A. Henzinger, The observational power of clocks, in: Proc. Fifth Internat. Conf. Theory of Concurrency (CONCUR’94), Uppsala, Sweden, August 1994, Lecture Notes in Computer Science, Vol. 836, Springer, Berlin, 1994, pp. 162–177.
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献