Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2001
Hartel, P.H. and Butler, M.J. and de Jong, E.K. and Longley, M.
(2001)
Transacted Memory for Smart Cards.
In: 10th Formal Methods for Increasing Software Productivity (FME), Berlin, Germany.
pp. 478-499.
Springer-Verlag.
ISBN 3-540-41791-5
This list was generated on Thu May 24 08:46:22 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||