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
Author
Singh, VasuISTA
Publishing Year
2009
Date Published
2009-01-01
Dissertation Type
Formalizing and Verifying Transactional Memories
Publisher
EPFL Lausanne
IST-REx-ID
4363

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