Transacted Memory for Smart Cards


Butler, Michael, Hartel, Pieter, Jong, Eduard de and Longley, Mark, (2001) Transacted Memory for Smart Cards Oliveira, J. N. and Zave, P. (eds.) At FME 2001, Formal Methods for Increasing Software Productivity. , pp. 478-99.

Download

[img] Postscript dsse-tr-2000-9.ps - Other
Download (225kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Address: Berlin
Venue - Dates: FME 2001, Formal Methods for Increasing Software Productivity, 2001-03-01
Organisations: Electronic & Software Systems
ePrint ID: 253695
Date :
Date Event
March 2001Published
Date Deposited: 20 Mar 2001
Last Modified: 23 Feb 2017 15:14
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/253695

Actions (login required)

View Item View Item