Improving Angel's Parallel Operator: Gumtree's Approach
| Asıl Yazarlar: | , , |
|---|---|
| Materyal Türü: | Report |
| Baskı/Yayın Bilgisi: |
Software Verification Research Centre
1997
|
| _version_ | 1826271436599197696 |
|---|---|
| author | Martin, A Nickson, R Utting, M |
| author_facet | Martin, A Nickson, R Utting, M |
| author_sort | Martin, A |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T21:56:38Z |
| format | Report |
| id | oxford-uuid:4d24273d-72e1-4b3d-aa13-1e419d219f0f |
| institution | University of Oxford |
| last_indexed | 2024-03-06T21:56:38Z |
| publishDate | 1997 |
| publisher | Software Verification Research Centre |
| record_format | dspace |
| spelling | oxford-uuid:4d24273d-72e1-4b3d-aa13-1e419d219f0f2022-03-26T15:53:44ZImproving Angel's Parallel Operator: Gumtree's ApproachReporthttp://purl.org/coar/resource_type/c_93fcuuid:4d24273d-72e1-4b3d-aa13-1e419d219f0fDepartment of Computer ScienceSoftware Verification Research Centre1997Martin, ANickson, RUtting, M |
| spellingShingle | Martin, A Nickson, R Utting, M Improving Angel's Parallel Operator: Gumtree's Approach |
| title | Improving Angel's Parallel Operator: Gumtree's Approach |
| title_full | Improving Angel's Parallel Operator: Gumtree's Approach |
| title_fullStr | Improving Angel's Parallel Operator: Gumtree's Approach |
| title_full_unstemmed | Improving Angel's Parallel Operator: Gumtree's Approach |
| title_short | Improving Angel's Parallel Operator: Gumtree's Approach |
| title_sort | improving angel s parallel operator gumtree s approach |
| work_keys_str_mv | AT martina improvingangelsparalleloperatorgumtreesapproach AT nicksonr improvingangelsparalleloperatorgumtreesapproach AT uttingm improvingangelsparalleloperatorgumtreesapproach |