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 (LNCS), 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-