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-12-17T14:55:09Z
dc.date.available2012-12-17T14:55:09Z
dc.date.issued2012
dc.identifier.citationEl-kustaban, A., Moszkowski, B. and Cau, A. (2012) Formalising of transactional memory using Interval Temporal Logic (ITL). 2012 Spring World Congress on Engineering and Technology, SCET 2012 - Proceedingsen
dc.identifier.isbn9781457719646
dc.identifier.urihttp://hdl.handle.net/2086/7943
dc.language.isoenen
dc.publisherIEEEen
dc.titleFormalising of transactional memory using interval temporal logic (ITL)en
dc.typeConferenceen
dc.identifier.doihttp://dx.doi.org/10.1109/SCET.2012.6342060
dc.researchgroupSoftware Technology Research Laboratory (STRL)en


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