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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'András Horváth' in GoogleThis author has not been identified. Look up 'Marco Paolieri' in GoogleThis author has not been identified. Look up 'Lorenzo Ridi' in GoogleThis author has not been identified. Look up 'Enrico Vicario' in Google

runs on WebDSL