BauerBKR08'

BibTeX

@inproceedings{DBLP:conf/gg/BauerBKR08,
  author    = {J{\"o}rg Bauer and
               Iovka Boneva and
               Marcos E. Kurb{\'a}n and
               Arend Rensink},
  title     = {A Modal-Logic Based Graph Abstraction},
  booktitle = {ICGT},
  year      = {2008},
  pages     = {321-335},
  ee        = {http://dx.doi.org/10.1007/978-3-540-87405-8_22},
  crossref  = {DBLP:conf/gg/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/gg/2008,
  editor    = {Hartmut Ehrig and
               Reiko Heckel and
               Grzegorz Rozenberg and
               Gabriele Taentzer},
  title     = {Graph Transformations, 4th International Conference, ICGT
               2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  booktitle = {ICGT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5214},
  year      = {2008},
  isbn      = {978-3-540-87404-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}