Efficient Verification Solutions for Message Passing Systems
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
2011
|
| _version_ | 1826267583124340736 |
|---|---|
| author | Sharma, S Gopalakrishnan, G |
| author_facet | Sharma, S Gopalakrishnan, G |
| author_sort | Sharma, S |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T20:56:25Z |
| format | Conference item |
| id | oxford-uuid:396d978e-742d-461b-b674-83fc037013f2 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T20:56:25Z |
| publishDate | 2011 |
| record_format | dspace |
| spelling | oxford-uuid:396d978e-742d-461b-b674-83fc037013f22022-03-26T13:55:23ZEfficient Verification Solutions for Message Passing SystemsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:396d978e-742d-461b-b674-83fc037013f2Department of Computer Science2011Sharma, SGopalakrishnan, G |
| spellingShingle | Sharma, S Gopalakrishnan, G Efficient Verification Solutions for Message Passing Systems |
| title | Efficient Verification Solutions for Message Passing Systems |
| title_full | Efficient Verification Solutions for Message Passing Systems |
| title_fullStr | Efficient Verification Solutions for Message Passing Systems |
| title_full_unstemmed | Efficient Verification Solutions for Message Passing Systems |
| title_short | Efficient Verification Solutions for Message Passing Systems |
| title_sort | efficient verification solutions for message passing systems |
| work_keys_str_mv | AT sharmas efficientverificationsolutionsformessagepassingsystems AT gopalakrishnang efficientverificationsolutionsformessagepassingsystems |