BibTeX record conf/gait/WeberKMKJBEGBPFW99

download as .bib file

  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
  booktitle = {German-Argentinian Workshop on Information Technology},
  pages     = {23--30},
  year      = {1999},
  timestamp = {Thu, 03 Jan 2002 11:59:20 +0100},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
maintained by Schloss Dagstuhl LZI, founded at University of Trier