Publisher
Springer Berlin Heidelberg
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Probabilistic Resource-Aware Session Types;Proceedings of the ACM on Programming Languages;2023-01-09
2. Automatic selection of verification tools for efficient analysis of biochemical models;Bioinformatics;2018-04-24
3. Formulation of Composite Discrete Measures for Estimating Uncertainties in Probabilistic Databases;Beyond Databases, Architectures and Structures. Facing the Challenges of Data Proliferation and Growing Variety;2018
4. Modal Stochastic Games;Lecture Notes in Computer Science;2017
5. The Probabilistic Model Checking Landscape;Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science;2016-07-05