BibTeX record conf/adaEurope/AmeyCW05

download as .bib file

@inproceedings{DBLP:conf/adaEurope/AmeyCW05,
  author    = {Peter Amey and
               Roderick Chapman and
               Neil White},
  title     = {Smart Certification of Mixed Criticality Systems},
  booktitle = {Ada-Europe},
  series    = {Lecture Notes in Computer Science},
  volume    = {3555},
  pages     = {144--155},
  publisher = {Springer},
  year      = {2005}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics