WildmoserNKN04'

BibTeX

@inproceedings{DBLP:conf/ifipTCS/WildmoserNKN04,
  author    = {Martin Wildmoser and
               Tobias Nipkow and
               Gerwin Klein and
               Sebastian Nanz},
  title     = {Prototyping Proof Carrying Code},
  booktitle = {IFIP TCS},
  year      = {2004},
  pages     = {333-348},
  crossref  = {DBLP:conf/ifipTCS/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ifipTCS/2004,
  editor    = {Jean-Jacques L{\'e}vy and
               Ernst W. Mayr and
               John C. Mitchell},
  title     = {Exploring New Frontiers of Theoretical Informatics, IFIP
               18th World Computer Congress, TC1 3rd International Conference
               on Theoretical Computer Science (TCS2004), 22-27 August
               2004, Toulouse, France},
  booktitle = {IFIP TCS},
  publisher = {Kluwer},
  year      = {2004},
  isbn      = {1-4020-8140-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}