"Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow."

Joost-Pieter Katoen, Hao Wu (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics