Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Falko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen. Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report. In Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa, editors, Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings. Volume 6342 of Lecture Notes in Computer Science, pages 115-130, Springer, 2010. [doi]

This author has not been identified. Look up 'Falko Dulat' in GoogleThis author has not been identified. It may be one of the following persons:

Joost-Pieter Katoen

Look up 'Joost-Pieter Katoen' in GoogleThis author has not been identified. Look up 'Viet Yen Nguyen' in Google

runs on WebDSL