Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/gi/HennickerBKW01,
  author       = {Rolf Hennicker and
                  Hubert Baumeister and
                  Alexander Knapp and
                  Martin Wirsing},
  title        = {Specifying Component Invariants with {OCL}},
  booktitle    = {Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft
                  f{\"{u}}r Informatik, Wirtschaft und Wissenschaft in der Network
                  Economy - Visionen und Wirklichkeit, Jahrestagung der {\"{O}}sterreichischen
                  Computer Gesellschaft 2001, {INFORMATIK/OCG} 2001, Vienna, Austria,
                  September 25-28, 2001, Band 1},
  pages        = {600--607},
  year         = {2001},
  crossref     = {DBLP:conf/gi/2001-1},
  timestamp    = {Fri, 17 Jul 2020 14:28:31 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/HennickerBKW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/gi/2001-1,
  editor       = {Kurt Bauknecht and
                  Wilfried Brauer and
                  Thomas A. M{\"{u}}ck},
  title        = {Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft
                  f{\"{u}}r Informatik, Wirtschaft und Wissenschaft in der Network
                  Economy - Visionen und Wirklichkeit, Jahrestagung der {\"{O}}sterreichischen
                  Computer Gesellschaft 2001, {INFORMATIK/OCG} 2001, Vienna, Austria,
                  September 25-28, 2001, Band 1},
  series       = {Schriftenreihe der {\"{O}}sterreichischen Computer-Gesellschaft},
  volume       = {157},
  publisher    = {Konstanz UVK-Verl.-Ges.},
  year         = {2001},
  timestamp    = {Tue, 05 Nov 2024 05:40:32 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/2001-1.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}