Achieving Distributed Control through Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Susanne Graf, Doron Peled, Sophie Quinton. Achieving Distributed Control through Model Checking. In Tayssir Touili, Byron Cook, Paul Jackson, editors, Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Volume 6174 of Lecture Notes in Computer Science, pages 396-409, Springer, 2010. [doi]

This author has not been identified. Look up 'Susanne Graf' in GoogleThis author has not been identified. Look up 'Doron Peled' in GoogleThis author has not been identified. Look up 'Sophie Quinton' in Google

runs on WebDSL