Ariel Cohen (Selection)

other persons with the same name:

• Ariel Cohen

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

2

Ariel Cohen, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck: Verifying Correctness of Transactional Memories. FMCAD 2007: 37-44

Selection of 1 from 7 records - Ariel Cohen has 7 coauthors