Towards Distributed Software Model-Checking Using Decision Diagrams - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg. Towards Distributed Software Model-Checking Using Decision Diagrams. In Natasha Sharygina, Helmut Veith, editors, Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Volume 8044 of Lecture Notes in Computer Science, pages 830-845, Springer, 2013. [doi]

This author has not been identified. Look up 'Maximilien Colange' in GoogleThis author has not been identified. Look up 'Souheib Baarir' in GoogleThis author has not been identified. Look up 'Fabrice Kordon' in GoogleThis author has not been identified. Look up 'Yann Thierry-Mieg' in Google

runs on WebDSL