Publisher
Springer Berlin Heidelberg
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Probabilistic Model Checking Landscape;Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science;2016-07-05
2. Solving Stochastic Büchi Games on Infinite Arenas with a Finite Attractor;Electronic Proceedings in Theoretical Computer Science;2013-06-11
3. Computable fixpoints in well-structured symbolic model checking;Formal Methods in System Design;2012-08-04
4. On Global Types and Multi-Party Session;Logical Methods in Computer Science;2012-03-15
5. Introduction;Verification and Validation in Systems Engineering;2010