Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Huth, Nir Piterman, Daniel Wagner. Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL. In Miroslaw Kutylowski, Witold Charatonik, Maciej Gebala, editors, Fundamentals of Computation Theory, 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009. Proceedings. Volume 5699 of Lecture Notes in Computer Science, pages 205-216, Springer, 2009. [doi]

This author has not been identified. Look up 'Michael Huth' in GoogleThis author has not been identified. Look up 'Nir Piterman' in GoogleThis author has not been identified. Look up 'Daniel Wagner' in Google

runs on WebDSL