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