Conference item icon

Conference item

Efficient Verification Solutions for Message Passing Systems

Actions


Access Document


Publisher copy:
10.1109/IPDPS.2011.368

Authors


G. Gopalakrishnan More by this author
Publication date:
2011-05-01
DOI:
URN:
uuid:396d978e-742d-461b-b674-83fc037013f2
Local pid:
cs:8525
ISBN:
978-1-61284-425-1

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP