Stuck−Free Conformance
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2004
|
| _version_ | 1797101992080834560 |
|---|---|
| author | Fournet, C Hoare, C Rajamani, S Rehof, J |
| author_facet | Fournet, C Hoare, C Rajamani, S Rehof, J |
| author_sort | Fournet, C |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T05:59:38Z |
| format | Conference item |
| id | oxford-uuid:ebba65d9-47fc-4bc1-8e77-eaad7bc18aac |
| institution | University of Oxford |
| last_indexed | 2024-03-07T05:59:38Z |
| publishDate | 2004 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:ebba65d9-47fc-4bc1-8e77-eaad7bc18aac2022-03-27T11:12:00ZStuck−Free ConformanceConference itemhttp://purl.org/coar/resource_type/c_5794uuid:ebba65d9-47fc-4bc1-8e77-eaad7bc18aacDepartment of Computer ScienceSpringer2004Fournet, CHoare, CRajamani, SRehof, J |
| spellingShingle | Fournet, C Hoare, C Rajamani, S Rehof, J Stuck−Free Conformance |
| title | Stuck−Free Conformance |
| title_full | Stuck−Free Conformance |
| title_fullStr | Stuck−Free Conformance |
| title_full_unstemmed | Stuck−Free Conformance |
| title_short | Stuck−Free Conformance |
| title_sort | stuck free conformance |
| work_keys_str_mv | AT fournetc stuckfreeconformance AT hoarec stuckfreeconformance AT rajamanis stuckfreeconformance AT rehofj stuckfreeconformance |