| _version_ |
1826279234846326784
|
| author |
Roscoe, A
|
| author_facet |
Roscoe, A
|
| author_sort |
Roscoe, A
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-06T23:55:43Z
|
| format |
Journal article
|
| id |
oxford-uuid:7425935e-28b9-47be-86c3-1e97fc9ab00a
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-06T23:55:43Z
|
| publishDate |
1992
|
| record_format |
dspace
|
| spelling |
oxford-uuid:7425935e-28b9-47be-86c3-1e97fc9ab00a2022-03-26T20:00:51ZOccam in the specification and verification of microprocessorsJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:7425935e-28b9-47be-86c3-1e97fc9ab00aDepartment of Computer Science1992Roscoe, A
|
| spellingShingle |
Roscoe, A
Occam in the specification and verification of microprocessors
|
| title |
Occam in the specification and verification of microprocessors
|
| title_full |
Occam in the specification and verification of microprocessors
|
| title_fullStr |
Occam in the specification and verification of microprocessors
|
| title_full_unstemmed |
Occam in the specification and verification of microprocessors
|
| title_short |
Occam in the specification and verification of microprocessors
|
| title_sort |
occam in the specification and verification of microprocessors
|
| work_keys_str_mv |
AT roscoea occaminthespecificationandverificationofmicroprocessors
|