BibTeX record conf/gi/HennickerBKW01

download as .bib file

@inproceedings{DBLP:conf/gi/HennickerBKW01,
  author    = {Rolf Hennicker and
               Hubert Baumeister and
               Alexander Knapp and
               Martin Wirsing},
  title     = {Specifying Component Invariants with {OCL}},
  booktitle = {{GI} Jahrestagung {(1)}},
  pages     = {600--607},
  year      = {2001},
  timestamp = {Thu, 03 Jan 2002 11:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gi/HennickerBKW01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier