Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
CASSIS 2005: Nice, France
Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet (Eds.):
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers.
Lecture Notes in Computer Science 3956 Springer 2006, ISBN 3-540-33689-3
Contents BibTeX
CASSIS 2004: Marseille, France
Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean (Eds.):
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers.
Lecture Notes in Computer Science 3362 Springer 2005, ISBN 3-540-24287-2
Contents BibTeX
Copyright © Sat May 16 23:00:31 2009
by Michael Ley (ley@uni-trier.de)