Guidelines for the Verification of Population Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Julien Clément, Carole Delporte-Gallet, Hugues Fauconnier, Mihaela Sighireanu. Guidelines for the Verification of Population Protocols. In 2011 International Conference on Distributed Computing Systems, ICDCS 2011, Minneapolis, Minnesota, USA, June 20-24, 2011. pages 215-224, IEEE Computer Society, 2011. [doi]

This author has not been identified. Look up 'Julien Clément' in GoogleThis author has not been identified. Look up 'Carole Delporte-Gallet' in GoogleThis author has not been identified. Look up 'Hugues Fauconnier' in GoogleThis author has not been identified. Look up 'Mihaela Sighireanu' in Google

runs on WebDSL