Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers

András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario. Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers. In Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011. pages 131-140, IEEE Computer Society, 2011. [doi]

Abstract

Abstract is missing.