BauerDTW07'

@inproceedings{DBLP:conf/agtive/BauerDTW07,
  author    = {J{\"o}rg Bauer and
               Werner Damm and
               Tobe Toben and
               Bernd Westphal},
  title     = {Verification and Synthesis of OCL Constraints Via Topology
               Analysis},
  booktitle = {AGTIVE},
  year      = {2007},
  pages     = {361-376},
  ee        = {http://dx.doi.org/10.1007/978-3-540-89020-1_25},
  crossref  = {DBLP:conf/agtive/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/agtive/2007,
  editor    = {Andy Sch{\"u}rr and
               Manfred Nagl and
               Albert Z{\"u}ndorf},
  title     = {Applications of Graph Transformations with Industrial Relevance,
               Third International Symposium, AGTIVE 2007, Kassel, Germany,
               October 10-12, 2007, Revised Selected and Invited Papers},
  booktitle = {AGTIVE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5088},
  year      = {2008},
  isbn      = {978-3-540-89019-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}