Trace-based symbolic analysis for atomicity violations (Q3557086)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Trace-based symbolic analysis for atomicity violations |
scientific article; zbMATH DE number 5702252
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Trace-based symbolic analysis for atomicity violations |
scientific article; zbMATH DE number 5702252 |
Statements
Trace-Based Symbolic Analysis for Atomicity Violations (English)
0 references
27 April 2010
0 references
0.8251398801803589
0 references
0.8153812289237976
0 references
0.8047590851783752
0 references
0.7654175758361816
0 references
0.7473791241645813
0 references
