Author:
Kwiatkowska Marta,Norman Gethin,Segala Roberto,Sproston Jeremy
Subject
General Computer Science,Theoretical Computer Science
Reference29 articles.
1. R. Alur, C. Courcoubetis, D. Dill, Model-checking for probabilistic real-time systems, Automata, Languages and Programming: Proc. 18th ICALP, Lecture Notes in Computer Science, Vol. 510, 1991, pp. 115–126.
2. Model-checking in dense real-time;Alur;Inform. and Comput.,1993
3. A theory of timed automata;Alur;Theoret. Comput. Sci.,1994
4. C. Baier, On algorithmic verification methods for probabilistic systems, Habilitation Thesis, University of Mannheim, 1998.
5. Deciding bisimilarity and similarity for probabilistic processes;Baier;J. Comput. System Sci.,2000
Cited by
204 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献