Efficient Verification Solutions for Message Passing Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Subodh Sharma, Ganesh Gopalakrishnan. Efficient Verification Solutions for Message Passing Systems. In 25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, Anchorage, Alaska, USA, 16-20 May 2011 - Workshop Proceedings. pages 2026-2029, IEEE, 2011. [doi]

This author has not been identified. Look up 'Subodh Sharma' in GoogleThis author has not been identified. Look up 'Ganesh Gopalakrishnan' in Google

runs on WebDSL