Construction and SAT−based verification of Contextual Unfoldings
| Autors principals: | , |
|---|---|
| Format: | Conference item |
| Publicat: |
Springer
2011
|
| _version_ | 1826268430930542592 |
|---|---|
| author | Schwoon, S Rodríguez, C |
| author_facet | Schwoon, S Rodríguez, C |
| author_sort | Schwoon, S |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T21:09:33Z |
| format | Conference item |
| id | oxford-uuid:3daa5313-223b-4b08-b70f-7713a1d599b3 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T21:09:33Z |
| publishDate | 2011 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:3daa5313-223b-4b08-b70f-7713a1d599b32022-03-26T14:20:43ZConstruction and SAT−based verification of Contextual UnfoldingsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:3daa5313-223b-4b08-b70f-7713a1d599b3Department of Computer ScienceSpringer2011Schwoon, SRodríguez, C |
| spellingShingle | Schwoon, S Rodríguez, C Construction and SAT−based verification of Contextual Unfoldings |
| title | Construction and SAT−based verification of Contextual Unfoldings |
| title_full | Construction and SAT−based verification of Contextual Unfoldings |
| title_fullStr | Construction and SAT−based verification of Contextual Unfoldings |
| title_full_unstemmed | Construction and SAT−based verification of Contextual Unfoldings |
| title_short | Construction and SAT−based verification of Contextual Unfoldings |
| title_sort | construction and sat based verification of contextual unfoldings |
| work_keys_str_mv | AT schwoons constructionandsatbasedverificationofcontextualunfoldings AT rodriguezc constructionandsatbasedverificationofcontextualunfoldings |