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
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. 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.