[{"citation":{"ama":"Singh V. Formalizing and Verifying Transactional Memories. <i>Formalizing and Verifying Transactional Memories</i>. 2009.","ieee":"V. Singh, “Formalizing and Verifying Transactional Memories,” EPFL Lausanne, 2009.","mla":"Singh, Vasu. “Formalizing and Verifying Transactional Memories.” <i>Formalizing and Verifying Transactional Memories</i>, EPFL Lausanne, 2009.","ista":"Singh V. 2009. Formalizing and Verifying Transactional Memories. EPFL Lausanne.","apa":"Singh, V. (2009). <i>Formalizing and Verifying Transactional Memories</i>. <i>Formalizing and Verifying Transactional Memories</i>. EPFL Lausanne.","short":"V. Singh, Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.","chicago":"Singh, Vasu. “Formalizing and Verifying Transactional Memories.” <i>Formalizing and Verifying Transactional Memories</i>. EPFL Lausanne, 2009."},"extern":1,"date_updated":"2021-01-12T07:56:25Z","publist_id":"1095","year":"2009","publisher":"EPFL Lausanne","type":"dissertation","date_published":"2009-01-01T00:00:00Z","publication_status":"published","day":"01","title":"Formalizing and Verifying Transactional Memories","quality_controlled":0,"_id":"4363","publication":"Formalizing and Verifying Transactional Memories","date_created":"2018-12-11T12:08:28Z","status":"public","month":"01","author":[{"last_name":"Singh","id":"4DAE2708-F248-11E8-B48F-1D18A9856A87","full_name":"Vasu Singh","first_name":"Vasu"}]}]