Specifying and Verifying Systems with Multiple Clocks
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
IEEE
2003
|
| _version_ | 1826280001782153216 |
|---|---|
| author | Clarke, E Kroening, D Yorav, K |
| author_facet | Clarke, E Kroening, D Yorav, K |
| author_sort | Clarke, E |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T00:07:14Z |
| format | Conference item |
| id | oxford-uuid:77f16dc8-b595-4c1d-8f46-3c366433b8cc |
| institution | University of Oxford |
| last_indexed | 2024-03-07T00:07:14Z |
| publishDate | 2003 |
| publisher | IEEE |
| record_format | dspace |
| spelling | oxford-uuid:77f16dc8-b595-4c1d-8f46-3c366433b8cc2022-03-26T20:27:30ZSpecifying and Verifying Systems with Multiple ClocksConference itemhttp://purl.org/coar/resource_type/c_5794uuid:77f16dc8-b595-4c1d-8f46-3c366433b8ccDepartment of Computer ScienceIEEE2003Clarke, EKroening, DYorav, K |
| spellingShingle | Clarke, E Kroening, D Yorav, K Specifying and Verifying Systems with Multiple Clocks |
| title | Specifying and Verifying Systems with Multiple Clocks |
| title_full | Specifying and Verifying Systems with Multiple Clocks |
| title_fullStr | Specifying and Verifying Systems with Multiple Clocks |
| title_full_unstemmed | Specifying and Verifying Systems with Multiple Clocks |
| title_short | Specifying and Verifying Systems with Multiple Clocks |
| title_sort | specifying and verifying systems with multiple clocks |
| work_keys_str_mv | AT clarkee specifyingandverifyingsystemswithmultipleclocks AT kroeningd specifyingandverifyingsystemswithmultipleclocks AT yoravk specifyingandverifyingsystemswithmultipleclocks |