Formalizing and Verifying Transactional Memories

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

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

Cite this

Singh V. Formalizing and Verifying Transactional Memories. Formalizing and Verifying Transactional Memories. 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.
Singh, Vasu. “Formalizing and Verifying Transactional Memories.” Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.

Export

Marked Publications

Open Data ISTA Research Explorer

Search this title in

Google Scholar