Specification analysis of transactional memory using ITL and AnaTempura

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author El-kustaban, Amin Mohammed Ahmed en
dc.contributor.author Moszkowski, B. C. en
dc.contributor.author Cau, A. (Antonio) en
dc.date.accessioned 2012-10-31T15:34:26Z
dc.date.available 2012-10-31T15:34:26Z
dc.date.issued 2012
dc.identifier.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 en
dc.identifier.isbn 9789881925114
dc.identifier.uri http://hdl.handle.net/2086/7695
dc.language.iso en en
dc.title Specification analysis of transactional memory using ITL and AnaTempura en
dc.type Conference en


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record