| _version_ |
1797057806966194176
|
| author |
Simpson, A
|
| author_facet |
Simpson, A
|
| author_sort |
Simpson, A
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-06T19:41:39Z
|
| format |
Report
|
| id |
oxford-uuid:20e3db88-e8c1-4ca7-877c-d2abe335543f
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-06T19:41:39Z
|
| publishDate |
1999
|
| publisher |
School of Computing and Mathematical Sciences‚ Oxford Brookes University
|
| record_format |
dspace
|
| spelling |
oxford-uuid:20e3db88-e8c1-4ca7-877c-d2abe335543f2022-03-26T11:30:04ZTowards the mechanical verification of moving block signalling systemsReporthttp://purl.org/coar/resource_type/c_93fcuuid:20e3db88-e8c1-4ca7-877c-d2abe335543fDepartment of Computer ScienceSchool of Computing and Mathematical Sciences‚ Oxford Brookes University1999Simpson, A
|
| spellingShingle |
Simpson, A
Towards the mechanical verification of moving block signalling systems
|
| title |
Towards the mechanical verification of moving block signalling systems
|
| title_full |
Towards the mechanical verification of moving block signalling systems
|
| title_fullStr |
Towards the mechanical verification of moving block signalling systems
|
| title_full_unstemmed |
Towards the mechanical verification of moving block signalling systems
|
| title_short |
Towards the mechanical verification of moving block signalling systems
|
| title_sort |
towards the mechanical verification of moving block signalling systems
|
| work_keys_str_mv |
AT simpsona towardsthemechanicalverificationofmovingblocksignallingsystems
|