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
217 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Composing Codensity Bisimulations;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Deep reinforcement learning challenges and opportunities for urban water systems;Water Research;2024-04
3. Back to the format: A survey on SOS for probabilistic processes;Journal of Logical and Algebraic Methods in Programming;2024-02
4. Drawing from an Urn is Isometric;Lecture Notes in Computer Science;2024
5. Dissimilarity for Linear Dynamical Systems;Lecture Notes in Computer Science;2024