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]
Abstract is missing.