Show simple item record

dc.contributor.authorEl-kustaban, Amin Mohammed Ahmeden
dc.contributor.authorMoszkowski, B. C.en
dc.contributor.authorCau, A. (Antonio)en
dc.date.accessioned2012-10-31T15:34:26Z
dc.date.available2012-10-31T15:34:26Z
dc.date.issued2012
dc.identifier.citationEl-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-181en
dc.identifier.isbn9789881925114
dc.identifier.urihttp://hdl.handle.net/2086/7695
dc.language.isoenen
dc.titleSpecification analysis of transactional memory using ITL and AnaTempuraen
dc.typeConferenceen


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record