Mechanical Verification of Hypercube Algorithms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Eric Gascard, Laurence Pierre. Mechanical Verification of Hypercube Algorithms. In 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings. IEEE Computer Society, 2002. [doi]

This author has not been identified. Look up 'Eric Gascard' in GoogleThis author has not been identified. Look up 'Laurence Pierre' in Google

runs on WebDSL