KIND_PROCEEDING.bib

@comment{{This file has been generated by bib2bib 1.97}}

@comment{{Command line: bib2bib --expand-xrefs -oc Publi/KIND_PROCEEDING.cite -ob Publi/KIND_PROCEEDING.bib -c '$type = "PROCEEDINGS"' -c !topic="NOCITE" Publi/bibdata.bib}}

@proceedings{cassis05,
  editor = {Gilles Barthe and
               Benjamin Gr{\'e}goire and
               Marieke Huisman and
               Jean-Louis Lanet},
  title = {Construction and Analysis of Safe, Secure, and Interoperable
               Smart Devices, Second International Workshop, CASSIS 2005,
               Nice, France, March 8-11, 2005, Revised Selected Papers},
  booktitle = {CASSIS},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3956},
  year = {2006},
  isbn = {3-540-33689-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

This file was generated by bibtex2html 1.97.