Author:
Desharnais Josée,Gupta Vineet,Jagadeesan Radha,Panangaden Prakash
Subject
General Computer Science,Theoretical Computer Science
Reference54 articles.
1. R. Alur, L. Jagadeesan, J.J. Kott, J.E. von Olnhausen, Model-checking of real-time systems: a telecommunications application, in: Proc. 19th Internat. Conf. on Software Engineering, Boston, Massachusetts, USA, 1997, pp. 514–524.
2. Axiomatizing probabilistic processes;Baeten;Inform. Comput.,1995
3. C. Baier, E. Clark, V. Hartonas-Garmhausen, M. Kwiatkowska, M. Ryan, Symbolic model checking for probabilistic processes, in: Proc. 24th Internat. Coll. on Automata Languages and Programming, Lecture Notes in Computer Science, Vol. 1256, Springer, Berlin, 1997, pp. 430–440.
4. UppAal;Bengtsson,1996
5. Model checking of probabilistic and nondeterministic systems;Bianco,1995
Cited by
214 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献