Three-Valued Abstraction for Continuous-Time Markov Chains - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Three-Valued Abstraction for Continuous-Time Markov Chains. In Werner Damm, Holger Hermanns, editors, Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings. Volume 4590 of Lecture Notes in Computer Science, pages 311-324, Springer, 2007. [doi]

Identified as Joost-Pieter Katoen This author has not been identified. Look up 'Daniel Klink' in GoogleThis author has not been identified. Look up 'Martin Leucker' in GoogleThis author has not been identified. It may be one of the following persons:

Verena Wolf

Look up 'Verena Wolf' in Google

runs on WebDSL