Trace Checking with Real−Time Specifications
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
2004
|
| _version_ | 1797078580226686976 |
|---|---|
| author | Deutschmann, R Fruth, M Reichel, H Reuss, H |
| author_facet | Deutschmann, R Fruth, M Reichel, H Reuss, H |
| author_sort | Deutschmann, R |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T00:33:57Z |
| format | Conference item |
| id | oxford-uuid:80bf4682-f24d-4914-af62-c038a19d2baa |
| institution | University of Oxford |
| last_indexed | 2024-03-07T00:33:57Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | oxford-uuid:80bf4682-f24d-4914-af62-c038a19d2baa2022-03-26T21:25:32ZTrace Checking with Real−Time SpecificationsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:80bf4682-f24d-4914-af62-c038a19d2baaDepartment of Computer Science2004Deutschmann, RFruth, MReichel, HReuss, H |
| spellingShingle | Deutschmann, R Fruth, M Reichel, H Reuss, H Trace Checking with Real−Time Specifications |
| title | Trace Checking with Real−Time Specifications |
| title_full | Trace Checking with Real−Time Specifications |
| title_fullStr | Trace Checking with Real−Time Specifications |
| title_full_unstemmed | Trace Checking with Real−Time Specifications |
| title_short | Trace Checking with Real−Time Specifications |
| title_sort | trace checking with real time specifications |
| work_keys_str_mv | AT deutschmannr tracecheckingwithrealtimespecifications AT fruthm tracecheckingwithrealtimespecifications AT reichelh tracecheckingwithrealtimespecifications AT reussh tracecheckingwithrealtimespecifications |