DBLP Record 'conf/modellierung/BogenbergerT06'

BibTeX

@inproceedings{DBLP:conf/modellierung/BogenbergerT06,
  author    = {Richard Bogenberger and
               David Trachtenherz},
  title     = {Qualit{\"a}tssteigerung der Automotive-Software durch formale
               Spezifikation funktionaler Eigenschaften auf der Abstraktionsebene
               des Modellentwurfs},
  booktitle = {Modellierung},
  year      = {2006},
  pages     = {35-49},
  crossref  = {DBLP:conf/modellierung/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/modellierung/2006,
  editor    = {Heinrich C. Mayr and
               Ruth Breu},
  title     = {Modellierung 2006, 22.-24. M{\"a}rz 2006, Innsbruck, Tirol,
               Austria, Proceedings},
  booktitle = {Modellierung},
  publisher = {GI},
  series    = {LNI},
  volume    = {82},
  year      = {2006},
  isbn      = {3-88579-176-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}