"Industrial Applications of Probabilistic Model Checking- A Model-based ..."

Hao Wu (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics