Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont. Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing. In 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings. pages 30-39, IEEE Computer Society, 2002. [doi]

This author has not been identified. Look up 'Sophie Laplante' in GoogleThis author has not been identified. Look up 'Richard Lassaigne' in GoogleThis author has not been identified. Look up 'Frédéric Magniez' in GoogleThis author has not been identified. Look up 'Sylvain Peyronnet' in GoogleThis author has not been identified. Look up 'Michel de Rougemont' in Google

runs on WebDSL