Author:
Katoen Joost-Pieter,Klink Daniel,Leucker Martin,Wolf Verena
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference58 articles.
1. Probability & Measure Theory;Ash,2000
2. Model-checking continuous time Markov chains;Aziz;ACM TOCL,2000
3. Principles of Model Checking;Baier,2008
4. Symbolic model checking for probabilistic processes;Baier,1997
5. Deciding bisimilarity and similarity for probabilistic processes;Baier;J. Comput. System Sci.,2000
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献