Guerraoui, RachidHenzinger, TomSingh, Vasu2008-02-222008-02-222008-02-22200810.1145/1375581.1375626https://infoscience.epfl.ch/handle/20.500.14299/18976WOS:000257820400034WOS:000266617300034Model Checking Transactional Memoriestext::conference output::conference proceedings::conference paper