Formalizing and Verifying Transactional Memories

V. Singh, Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.

Download
No fulltext has been uploaded. References only!
Thesis | Published
Publishing Year
Date Published
2009-01-01
Dissertation Type
Formalizing and Verifying Transactional Memories
IST-REx-ID

Cite this

Singh V. Formalizing and Verifying Transactional Memories. EPFL Lausanne; 2009.
Singh, V. (2009). Formalizing and Verifying Transactional Memories. Formalizing and Verifying Transactional Memories. EPFL Lausanne.
Singh, Vasu. Formalizing and Verifying Transactional Memories. Formalizing and Verifying Transactional Memories. EPFL Lausanne, 2009.
V. Singh, Formalizing and Verifying Transactional Memories. EPFL Lausanne, 2009.
Singh V. 2009. Formalizing and Verifying Transactional Memories, EPFL Lausanne,p.
Singh, Vasu. “Formalizing and Verifying Transactional Memories.” Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar