| _version_ |
1797102454644408320
|
| author |
A. W. Roscoe
|
| author_facet |
A. W. Roscoe
|
| author_sort |
A. W. Roscoe
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-07T06:06:17Z
|
| format |
Book section
|
| id |
oxford-uuid:edf67823-a683-4602-af8b-d92b7d3a6857
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-07T06:06:17Z
|
| publishDate |
1994
|
| record_format |
dspace
|
| spelling |
oxford-uuid:edf67823-a683-4602-af8b-d92b7d3a68572022-03-27T11:29:04ZModel−checking CSPBook sectionhttp://purl.org/coar/resource_type/c_3248uuid:edf67823-a683-4602-af8b-d92b7d3a6857Department of Computer Science1994A. W. Roscoe
|
| spellingShingle |
A. W. Roscoe
Model−checking CSP
|
| title |
Model−checking CSP
|
| title_full |
Model−checking CSP
|
| title_fullStr |
Model−checking CSP
|
| title_full_unstemmed |
Model−checking CSP
|
| title_short |
Model−checking CSP
|
| title_sort |
model checking csp
|
| work_keys_str_mv |
AT awroscoe modelcheckingcsp
|