Butler, Michael, Hartel, Pieter, Jong, Eduard de and Longley, Mark (2001) Transacted Memory for Smart Cards. Oliveira, J. N. and Zave, P. (eds.) FME 2001, Formal Methods for Increasing Software Productivity. pp. 478-99 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: March 2001
Additional Information:
Address: Berlin
Venue - Dates:
FME 2001, Formal Methods for Increasing Software Productivity, 2001-03-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 253695
URI: http://eprints.soton.ac.uk/id/eprint/253695
ISBN: 3-540-41791-5
PURE UUID: 0afca30d-a19e-4d9a-bbbe-f11e01ee2c67
Catalogue record
Date deposited: 20 Mar 2001
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Michael Butler
Author:
Pieter Hartel
Author:
Eduard de Jong
Author:
Mark Longley
Editor:
J. N. Oliveira
Editor:
P. Zave
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.