Specifying and Verifying the Parlay Call−Control Using ASMs
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2003
|
| _version_ | 1797084916737900544 |
|---|---|
| author | Falcarin, P Cavarra, A |
| author_facet | Falcarin, P Cavarra, A |
| author_sort | Falcarin, P |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T02:01:53Z |
| format | Conference item |
| id | oxford-uuid:9da7dd7e-8117-4db6-8365-10887baa6eff |
| institution | University of Oxford |
| last_indexed | 2024-03-07T02:01:53Z |
| publishDate | 2003 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:9da7dd7e-8117-4db6-8365-10887baa6eff2022-03-27T00:44:35ZSpecifying and Verifying the Parlay Call−Control Using ASMsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:9da7dd7e-8117-4db6-8365-10887baa6effDepartment of Computer ScienceSpringer2003Falcarin, PCavarra, A |
| spellingShingle | Falcarin, P Cavarra, A Specifying and Verifying the Parlay Call−Control Using ASMs |
| title | Specifying and Verifying the Parlay Call−Control Using ASMs |
| title_full | Specifying and Verifying the Parlay Call−Control Using ASMs |
| title_fullStr | Specifying and Verifying the Parlay Call−Control Using ASMs |
| title_full_unstemmed | Specifying and Verifying the Parlay Call−Control Using ASMs |
| title_short | Specifying and Verifying the Parlay Call−Control Using ASMs |
| title_sort | specifying and verifying the parlay call control using asms |
| work_keys_str_mv | AT falcarinp specifyingandverifyingtheparlaycallcontrolusingasms AT cavarraa specifyingandverifyingtheparlaycallcontrolusingasms |