Efficient Verification Solutions for Message Passing Systems

Publication
In 25th {IEEE} International Symposium on Parallel and Distributed Processing, {IPDPS} 2011, Anchorage, Alaska

Related