HungarR08'

BibTeX

@inproceedings{DBLP:conf/se/HungarR08,
  author    = {Hardi Hungar and
               Erwin Reyzl},
  title     = {Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer
               und hochverf{\"u}gbarer Systeme: Bedeutung modellbasierter
               und formaler Ans{\"a}tze f{\"u}r effiziente Entwicklung
               und Zertifizierung},
  booktitle = {Software Engineering},
  year      = {2008},
  pages     = {291-294},
  crossref  = {DBLP:conf/se/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/se/2008,
  editor    = {Korbinian Herrmann and
               Bernd Br{\"u}gge},
  title     = {Software Engineering 2008. Fachtagung des GI-Fachbereichs
               Softwaretechnik, 18.-22.2.2008 in M{\"u}nchen},
  booktitle = {Software Engineering},
  publisher = {GI},
  series    = {LNI},
  volume    = {121},
  year      = {2008},
  isbn      = {978-3-88579-215-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}