Some publications by Krithi Ramamritham
and S. Sudarshan.
Automating the detection of snapshot isolation anomalies.
In VLDB '07: Proceedings of the 33rd international conference on Very large data bases,
This document was translated from BibTEX by