Model checking Timed CSP
| Main Authors: | , , , |
|---|---|
| Format: | Journal article |
| Published: |
2012
|
| _version_ | 1797097083321188352 |
|---|---|
| author | Armstrong, P Lowe, G Ouaknine, J Roscoe, A |
| author_facet | Armstrong, P Lowe, G Ouaknine, J Roscoe, A |
| author_sort | Armstrong, P |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T04:50:34Z |
| format | Journal article |
| id | oxford-uuid:d4cef293-3474-456d-9d9c-45f0e5154516 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T04:50:34Z |
| publishDate | 2012 |
| record_format | dspace |
| spelling | oxford-uuid:d4cef293-3474-456d-9d9c-45f0e51545162022-03-27T08:21:20ZModel checking Timed CSPJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:d4cef293-3474-456d-9d9c-45f0e5154516Department of Computer Science2012Armstrong, PLowe, GOuaknine, JRoscoe, A |
| spellingShingle | Armstrong, P Lowe, G Ouaknine, J Roscoe, A Model checking Timed CSP |
| title | Model checking Timed CSP |
| title_full | Model checking Timed CSP |
| title_fullStr | Model checking Timed CSP |
| title_full_unstemmed | Model checking Timed CSP |
| title_short | Model checking Timed CSP |
| title_sort | model checking timed csp |
| work_keys_str_mv | AT armstrongp modelcheckingtimedcsp AT loweg modelcheckingtimedcsp AT ouakninej modelcheckingtimedcsp AT roscoea modelcheckingtimedcsp |