Author:
Skrypnyuk Nataliya,Nielson Flemming,Pilegaard Henrik
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference18 articles.
1. Process algebra and Markov chains;Brinksma,2000
2. Automatic verification of finite-state concurrent systems using temporal logic specifications;Clarke;ACM Trans. Program. Lang. Systems,1986
3. Interactive Markov Chains: The Quest for Quantified Quality;Hermanns,2002
4. Communicating Sequential Processes;Hoare,1985
5. Monotone data flow analysis frameworks;Kam;Acta Inform.,1977
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. REACHABILITY FOR FINITE-STATE PROCESS ALGEBRAS USING HORN CLAUSES;International Journal of Foundations of Computer Science;2013-02