Open Research

CARDS4: Modal Theorem Proving on Java Smartcards

dc.contributor.author	Gore, Rajeev
dc.contributor.author	Nguyen, Phuong
dc.date.accessioned	2015-12-10T23:20:03Z
dc.identifier.isbn	3540426108
dc.identifier.uri	http://hdl.handle.net/1885/66155
dc.publisher	Springer
dc.relation.ispartof	Smart Card Programming and Security
dc.relation.isversionof	2nd Edition
dc.title	CARDS4: Modal Theorem Proving on Java Smartcards
dc.type	Book chapter
local.description.notes	Imported from ARIES
local.description.refereed	Yes
dc.date.issued	2001
local.identifier.absfor	080201 - Analysis of Algorithms and Complexity
local.identifier.ariespublication	MigratedxPub1231
local.type.status	Published Version
local.contributor.affiliation	Gore, Rajeev, College of Engineering and Computer Science, ANU
local.contributor.affiliation	Nguyen, Phuong, College of Engineering and Computer Science, ANU
local.description.embargo	2037-12-31
local.bibliographicCitation.startpage	111
local.bibliographicCitation.lastpage	124
dc.date.updated	2015-12-10T10:19:45Z
local.bibliographicCitation.placeofpublication	Germany
Collections	ANU Research Publications

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.