Symbolic Computation of Maximal Probabilistic Reachability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marta Z. Kwiatkowska, Gethin J. Norman, Jeremy Sproston. Symbolic Computation of Maximal Probabilistic Reachability. In Kim Guldstrand Larsen, Mogens Nielsen, editors, CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings. Volume 2154 of Lecture Notes in Computer Science, pages 169-183, Springer, 2001. [doi]

This author has not been identified. Look up 'Marta Z. Kwiatkowska' in GoogleIdentified as Gethin J. Norman This author has not been identified. Look up 'Jeremy Sproston' in Google

runs on WebDSL