StarTM: Automatic Verification of Snapshot Isolation in Transactional Memory Java Programs

Ricardo J. Dias, Dino Distefano, João M. Lourenço, João Costa Seco
Posted Jan 1, 2011
Cite