A Aralex Aachen research explorer

July 10, 2025 article

Comparing dtsdPBC with other stochastic process algebras

International Journal of Parallel Emergent and Distributed Systems

DOI: 10.1080/17445760.2025.2527713 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 0 stored of 0

References 2

Parameter synthesis for Markov models: covering the parameter space
2024 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

20

citations
Scenario-Based Verification of Uncertain MDPs
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

20

citations

2 results