Armin Biere, K. Havelund, Cyrille Artho,
"Using Block-local Atomicity to Detect Stale-value Concurrency Errors"
: Proc. 2nd Intl. Symp. on Automated Technology for Verification and Analysis (ATVA'04), Serie Lecture Notes in Computer Science, ISSN 0302-9743, Vol. 3299, Springer, 2004
Original Titel:
Using Block-local Atomicity to Detect Stale-value Concurrency Errors
Sprache des Titels:
Englisch
Original Buchtitel:
Proc. 2nd Intl. Symp. on Automated Technology for Verification and Analysis (ATVA'04)
Forschungs-