Matko Botincan et al.: Automatic safety proofs for asynchronous memory operations. (2011)conf/ppopp/BotincanDDP1110.1145/1941553.194160510.1145/2038037.1941605Automatic safety proofs for asynchronous memory operations.4Matko Botincan1Mike Dodds2Alastair F. Donaldson3Matthew J. Parkinson4313-314PPoPPPPoPP20112011provenance information for RDF data of dblp record 'conf/ppopp/BotincanDDP11'2022-06-12T19:46:08+0200