Specification analysis of transactional memory using ITL and AnaTempura
Date
2012
Advisors
Journal Title
Journal ISSN
ISSN
DOI
Volume Title
Publisher
Type
Conference
Peer reviewed
Abstract
Description
Keywords
Citation
El-kustaban, A., Moszkowski, B. and Cau, A. (2012) Specification analysis of transactional memory using ITL and AnaTempura. International MultiConference of Engineers and Computer Scientists, IMECS 2012, 1, pp. 176-181