Author:
Cleaveland Rance,Iyer S. Purushothaman,Narasimha Murali
Subject
General Computer Science,Theoretical Computer Science
Reference38 articles.
1. R. Alur, C. Courcoubetis, D.L. Dill, Model-checking for probabilistic real-time systems, in: Automata, Languages and Programming: Proc. 18th ICALP, Lecture Notes in Computer Science, Vol. 510, 1991, pp. 115–136.
2. Model checking and boolean graphs;Andersen;Theoret. Comput. Sci.,1994
3. A. Aziz, V. Singhal, F. Balarin, R.K. Brayton, A.L. Sangiovanni-Vincentelli, It usually works: the temporal logic of stochastic systems, in: Proc. Computer Aided Verification ’95. Springer, Berlin, July 1995.
4. E. Bandini, R. Segala, Axiomatizations for probabilistic bisimulation, in: ICALP: Ann. Int. Colloq. Automata, Languages and Programming, 2001.
5. J.A. Bergstra, A. Ponse, S.A. Smolka (Eds.), Handbook of Process Algebra, Amsterdam, 2001.
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献