@InProceedings{Gogolla:2004:MOD,
  author =       "Martin Gogolla and Mark Richters and J{\"o}rn Bohling and
                  Arne Lindow and Fabian B{\"u}ttner and Paul Ziemann",
  title =        "Werkzeugunterst{\"u}tzung f{\"u}r die Validierung von
                  {UML}- und {OCL}-Modellen durch automatische
                  Snapshot-Generierung",
  booktitle =    "Modellierung 2004, Proceedings zur Tagung, 23-26.
                  M{\"a}rz 2004, Marburg",
  year =         "2004",
  editor =       "Bernhard Rumpe and Wolfgang Hesse",
  volume =       "P-45",
  series =       "LNI",
  pages =        "281--282",
  publisher =    "Gesellschaft f{\"u}r Informatik",
  isbn =         "3-88579-374-1",
}