| _version_ |
1826274807826612224
|
| author |
Cavarra, A
|
| author_facet |
Cavarra, A
|
| author_sort |
Cavarra, A
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-06T22:49:03Z
|
| format |
Conference item
|
| id |
oxford-uuid:5e3213cc-a641-423f-9767-a16b10a1d940
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-06T22:49:03Z
|
| publishDate |
2008
|
| publisher |
Springer
|
| record_format |
dspace
|
| spelling |
oxford-uuid:5e3213cc-a641-423f-9767-a16b10a1d9402022-03-26T17:39:00ZData Flow Analysis and Testing of Abstract State MachinesConference itemhttp://purl.org/coar/resource_type/c_5794uuid:5e3213cc-a641-423f-9767-a16b10a1d940Department of Computer ScienceSpringer2008Cavarra, A
|
| spellingShingle |
Cavarra, A
Data Flow Analysis and Testing of Abstract State Machines
|
| title |
Data Flow Analysis and Testing of Abstract State Machines
|
| title_full |
Data Flow Analysis and Testing of Abstract State Machines
|
| title_fullStr |
Data Flow Analysis and Testing of Abstract State Machines
|
| title_full_unstemmed |
Data Flow Analysis and Testing of Abstract State Machines
|
| title_short |
Data Flow Analysis and Testing of Abstract State Machines
|
| title_sort |
data flow analysis and testing of abstract state machines
|
| work_keys_str_mv |
AT cavarraa dataflowanalysisandtestingofabstractstatemachines
|