BibTeX record: conf/gait/WeberKMKJBEGBPFW99

download as .bib file

@inproceedings{DBLP:conf/gait/WeberKMKJBEGBPFW99,
  author    = {Herbert Weber and
               Marcus Klar and
               Stefan Mann and
               Ralf{-}Detlef Kutsche and
               Stefan J{\"{a}}hnichen and
               Robert B{\"{u}}ssow and
               Hartmut Ehrig and
               Robert Geisler and
               Gabriel Baum and
               Claudia Pons and
               Miguel Felder and
               Sergio Waldoke},
  title     = {Integrating Object-Oriented Modelling Techniques with Formal Specification
               Techniques},
  booktitle = {German-Argentinian Workshop on Information Technology},
  pages     = {23--30},
  year      = {1999},
  timestamp = {Thu, 03 Jan 2002 11:59:20 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/gait/WeberKMKJBEGBPFW99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}