| _version_ |
1826289709787119616
|
| author |
Roscoe, A
|
| author_facet |
Roscoe, A
|
| author_sort |
Roscoe, A
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-07T02:33:01Z
|
| format |
Conference item
|
| id |
oxford-uuid:a7e099ef-c50e-4e28-8a78-8dc418d6511b
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-07T02:33:01Z
|
| publishDate |
1993
|
| publisher |
TU Eindhoven
|
| record_format |
dspace
|
| spelling |
oxford-uuid:a7e099ef-c50e-4e28-8a78-8dc418d6511b2022-03-27T02:57:28ZDeveloping and verifying protocols in CSPConference itemhttp://purl.org/coar/resource_type/c_5794uuid:a7e099ef-c50e-4e28-8a78-8dc418d6511bDepartment of Computer ScienceTU Eindhoven1993Roscoe, A
|
| spellingShingle |
Roscoe, A
Developing and verifying protocols in CSP
|
| title |
Developing and verifying protocols in CSP
|
| title_full |
Developing and verifying protocols in CSP
|
| title_fullStr |
Developing and verifying protocols in CSP
|
| title_full_unstemmed |
Developing and verifying protocols in CSP
|
| title_short |
Developing and verifying protocols in CSP
|
| title_sort |
developing and verifying protocols in csp
|
| work_keys_str_mv |
AT roscoea developingandverifyingprotocolsincsp
|