Linköping University
:
Students
Alumni
Trade and Industry/Society
Internal
Search
About
Research
People
Publications
Teaching
Student theses
Positions open
Internal
Search Results
AUTHOR
:
SANDHYA DWARKADAS
Found 1 entry
Verifying Safety and Liveness for the FlexTM Hybrid Transactional Memory
Parosh Aziz Abdulla, Sandhya Dwarkadas, Ahmed Rezine, Arrvindh Shriramanx, Yunyun Zhu
Design, Automation & Test in Europe (DATE 2013), Grenoble, France, March 18-22, 2013.
( ! )
perl script by
Giovanni Squillero
with modifications from
Gert Jervan
(v3.1, p5.2, September-2002-)