thesis Formalizing and Verifying Transactional Memories published Vasu Singh author 4DAE2708-F248-11E8-B48F-1D18A9856A87 EPFL Lausanne2009 Formalizing and Verifying Transactional Memories yes Singh V. Formalizing and Verifying Transactional Memories. <i>Formalizing and Verifying Transactional Memories</i>. 2009. Singh, V. (2009). <i>Formalizing and Verifying Transactional Memories</i>. <i>Formalizing and Verifying Transactional Memories</i>. EPFL Lausanne. Singh V. 2009. Formalizing and Verifying Transactional Memories. EPFL Lausanne. V. Singh, “Formalizing and Verifying Transactional Memories,” EPFL Lausanne, 2009. V. Singh, Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009. Singh, Vasu. “Formalizing and Verifying Transactional Memories.” <i>Formalizing and Verifying Transactional Memories</i>. EPFL Lausanne, 2009. Singh, Vasu. “Formalizing and Verifying Transactional Memories.” <i>Formalizing and Verifying Transactional Memories</i>, EPFL Lausanne, 2009. 43632018-12-11T12:08:28Z2021-01-12T07:56:25Z