@phdthesis{de-2429,
  title = {Certifying rule-based models using graph transformation},
  author = {Leen Lambers},
  year = {2009},
  url = {http://opus.kobv.de/tuberlin/volltexte/2010/2522/},
  note = {http://d-nb.info/1001005074},
  researchr = {https://researchr.org/publication/de-2429},
  cites = {0},
  citedby = {0},
  school = {Berlin Institute of Technology},
}