Skip to contents Barthe, Gilles [Editor]; Grégoire, Benjamin [Other]; Huisman, Marieke [Other]; Lanet, Jean-Louis [Other] ; CASSIS 2 2005 Nizza Construction and analysis of safe, secure, and interoperable smart devices : second international workshop, CASSIS 2005, Nice, France, March 8 - 11, 2005 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 3956 Barthe, Gilles [Editor] ; CASSIS 2004 Marseille Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10 - 14, 2004 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3362 Barthe, Gilles [Other]; Gregoire, Benjamin [Other]; Huisman, Marieke [Other]; Lanet, Jean-Luis [Other] Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006 Published in: Lecture notes in computer science ; 3956 Barthe, Gilles [Other]; Burdy, Lilian [Other]; Huisman, Marieke [Other]; Lanet, Jean-Louis [Other]; Muntean, Traian [Other] Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005 Published in: Lecture notes in computer science ; 3362
Barthe, Gilles [Editor]; Grégoire, Benjamin [Other]; Huisman, Marieke [Other]; Lanet, Jean-Louis [Other] ; CASSIS 2 2005 Nizza Construction and analysis of safe, secure, and interoperable smart devices : second international workshop, CASSIS 2005, Nice, France, March 8 - 11, 2005 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 3956
Barthe, Gilles [Editor] ; CASSIS 2004 Marseille Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10 - 14, 2004 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3362
Barthe, Gilles [Other]; Gregoire, Benjamin [Other]; Huisman, Marieke [Other]; Lanet, Jean-Luis [Other] Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006 Published in: Lecture notes in computer science ; 3956
Barthe, Gilles [Other]; Burdy, Lilian [Other]; Huisman, Marieke [Other]; Lanet, Jean-Louis [Other]; Muntean, Traian [Other] Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005 Published in: Lecture notes in computer science ; 3362
> Location Skip to next facet Departmental Library DrePunct (2) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (2) Wert ausschließen Musicology (1) Wert ausschließen Technology (1) Wert ausschließen Economics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Barthe, Gilles (4) Wert ausschließen Huisman, Marieke (3) Wert ausschließen Lanet, Jean-Louis (2) Wert ausschließen Burdy, Lilian (1) Wert ausschließen CASSIS 2 2005 Nizza (1) Wert ausschließen CASSIS 2004 Marseille (1) Wert ausschließen Gregoire, Benjamin (1) Wert ausschließen Grégoire, Benjamin (1) Wert ausschließen Lanet, Jean-Luis (1) Wert ausschließen Muntean, Traian (1) Wert ausschließen Show more show less