Verification of Snapshot Isolation in Transactional Memory Java Programs

Ricardo J. Dias, Dino Distefano, João Costa Seco, João M. Lourenço
Posted Jun 1, 2012
Cite Link