BibSonomy now supports HTTPS. Switch to HTTPS.

AVIO: Detecting Atomicity Violations via Access Interleaving Invariants

, , , and . Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, page 37--48. ACM, (2006)

Links and resources

BibTeX key:
search on:

Comments and Reviews  

There is no review or comment yet. You can write one!


Cite this publication