BarrM02'

BibTeX

@inproceedings{DBLP:conf/adaD/BarrM02,
  author    = {Volkert Barr and
               Sergio Montenegro},
  title     = {Boss/Ada: An Open Source Ada 95 Safety Kit ( A dependable
               open source embedded operating system for GNAT)},
  booktitle = {Ada Deutschland Tagung},
  year      = {2002},
  pages     = {53-66},
  crossref  = {DBLP:conf/adaD/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/adaD/2002,
  editor    = {J{\"u}rgen F. H. Winkler and
               Peter Denecker and
               Hubert B. Keller and
               Michael Tonndorf},
  title     = {Ada Deutschland Tagung 2002: Software f{\"u}r sicherheitskritische
               Systeme, 6. bis 8. M{\"a}rz 2002, Jena, Friedrich-Schiller-Universit{\"a}t},
  booktitle = {Ada Deutschland Tagung},
  publisher = {Shaker Verlag},
  year      = {2003},
  isbn      = {3-8265-9956-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}