A Aralex Aachen research explorer

September 01, 2008 conference-paper

Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games

International Conference on Quantitative Evaluation of Systems (QEST)

DOI: 10.1109/qest.2008.42 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 101

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

1

citations

1 result

References 0