APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet. APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains. In Third International Conference on the Quantitative Evaluaiton of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA. pages 129-130, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Thomas Hérault' in GoogleThis author has not been identified. Look up 'Richard Lassaigne' in GoogleThis author has not been identified. Look up 'Sylvain Peyronnet' in Google

runs on WebDSL