Search dblp for Publications

export results for "toc:db/conf/gg/icgt2008.bht:"

 download as .bib file

@inproceedings{DBLP:conf/gg/Aalst08,
  author       = {Wil M. P. van der Aalst},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Discovery, Verification and Conformance of Workflows with Cancellation},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {18--37},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_2},
  doi          = {10.1007/978-3-540-87405-8\_2},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Aalst08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/AzabH08,
  author       = {Karl Azab and
                  Annegret Habel},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {High-Level Programs and Program Conditions},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {211--225},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_15},
  doi          = {10.1007/978-3-540-87405-8\_15},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/AzabH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BaldanCEK08,
  author       = {Paolo Baldan and
                  Andrea Corradini and
                  Hartmut Ehrig and
                  Barbara K{\"{o}}nig},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Open Petri Nets: Non-deterministic Processes and Compositionality},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {257--273},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_18},
  doi          = {10.1007/978-3-540-87405-8\_18},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/BaldanCEK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BaldanK08,
  author       = {Paolo Baldan and
                  Barbara K{\"{o}}nig},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Workshop on Petri Nets and Graph Transformations},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {467--469},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_34},
  doi          = {10.1007/978-3-540-87405-8\_34},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/BaldanK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BauderonCL08,
  author       = {Michel Bauderon and
                  Rui Chen and
                  Olivier Ly},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Pullback Grammars Are Context-Free},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {366--378},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_25},
  doi          = {10.1007/978-3-540-87405-8\_25},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/BauderonCL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BauerBKR08,
  author       = {J{\"{o}}rg Bauer and
                  Iovka Boneva and
                  Marcos E. Kurb{\'{a}}n and
                  Arend Rensink},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {A Modal-Logic Based Graph Abstraction},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {321--335},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_22},
  doi          = {10.1007/978-3-540-87405-8\_22},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/BauerBKR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BergmannHRV08,
  author       = {G{\'{a}}bor Bergmann and
                  {\'{A}}kos Horv{\'{a}}th and
                  Istv{\'{a}}n R{\'{a}}th and
                  D{\'{a}}niel Varr{\'{o}}},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {396--410},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_27},
  doi          = {10.1007/978-3-540-87405-8\_27},
  timestamp    = {Mon, 19 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gg/BergmannHRV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Bisztray08,
  author       = {D{\'{e}}nes Bisztray},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Verification of Architectural Refactorings: Rule Extraction and Tool
                  Support},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {475--477},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_37},
  doi          = {10.1007/978-3-540-87405-8\_37},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Bisztray08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Bonchi08,
  author       = {Filippo Bonchi},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Abstract Semantics by Observable Contexts},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {478--480},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_38},
  doi          = {10.1007/978-3-540-87405-8\_38},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Bonchi08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BonchiGH08,
  author       = {Filippo Bonchi and
                  Fabio Gadducci and
                  Tobias Heindel},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Parallel and Sequential Independence for Borrowed Contexts},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {226--241},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_16},
  doi          = {10.1007/978-3-540-87405-8\_16},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/BonchiGH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BrugginkK08,
  author       = {H. J. Sander Bruggink and
                  Barbara K{\"{o}}nig},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {On the Recognizability of Arrow and Graph Languages},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {336--350},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_23},
  doi          = {10.1007/978-3-540-87405-8\_23},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/BrugginkK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/CenciarelliGT08,
  author       = {Pietro Cenciarelli and
                  Daniele Gorla and
                  Emilio Tuosto},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Network Applications of Graph Bisimulation},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {131--146},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_10},
  doi          = {10.1007/978-3-540-87405-8\_10},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/CenciarelliGT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/ChalopinMM08,
  author       = {J{\'{e}}r{\'{e}}mie Chalopin and
                  Antoni W. Mazurkiewicz and
                  Yves M{\'{e}}tivier},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Labelled (Hyper)Graphs, Negotiations and the Naming Problem},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {54--68},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_5},
  doi          = {10.1007/978-3-540-87405-8\_5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/ChalopinMM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/CorradiniT08,
  author       = {Andrea Corradini and
                  Emilio Tuosto},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {{ICGT} 2008 Doctoral Symposium},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {473--474},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_36},
  doi          = {10.1007/978-3-540-87405-8\_36},
  timestamp    = {Sat, 04 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/CorradiniT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Dang08,
  author       = {Duc{-}Hanh Dang},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Triple Graph Grammars and {OCL} for Validating System Behavior},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {481--483},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_39},
  doi          = {10.1007/978-3-540-87405-8\_39},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gg/Dang08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/DerbelMG08,
  author       = {Bilel Derbel and
                  Mohamed Mosbah and
                  Stefan Gruner},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Mobile Agents Implementing Local Computations in Graphs},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {99--114},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_8},
  doi          = {10.1007/978-3-540-87405-8\_8},
  timestamp    = {Tue, 11 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/DerbelMG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Dodds08,
  author       = {Mike Dodds},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {From Separation Logic to Hyperedge Replacement and Back},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {484--486},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_40},
  doi          = {10.1007/978-3-540-87405-8\_40},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Dodds08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Dorr08,
  author       = {Heiko D{\"{o}}rr},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {The {AUTOSAR} Way of Model-Based Engineering of Automotive Systems},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {38},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_3},
  doi          = {10.1007/978-3-540-87405-8\_3},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Dorr08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/DrewesHM08,
  author       = {Frank Drewes and
                  Berthold Hoffmann and
                  Mark Minas},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Adaptive Star Grammars for Graph Models},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {442--457},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_30},
  doi          = {10.1007/978-3-540-87405-8\_30},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/DrewesHM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Echahed08,
  author       = {Rachid Echahed},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Inductively Sequential Term-Graph Rewrite Systems},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {84--98},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_7},
  doi          = {10.1007/978-3-540-87405-8\_7},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Echahed08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/EhrigE08,
  author       = {Hartmut Ehrig and
                  Claudia Ermel},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Semantical Correctness and Completeness of Model Transformations Using
                  Graph and Rule Transformation},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {194--210},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_14},
  doi          = {10.1007/978-3-540-87405-8\_14},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/EhrigE08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/EhrigP08,
  author       = {Hartmut Ehrig and
                  Ulrike Prange},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Formal Analysis of Model Transformations Based on Triple Graph Rules
                  with Kernels},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {178--193},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_13},
  doi          = {10.1007/978-3-540-87405-8\_13},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/EhrigP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/GadducciM08,
  author       = {Fabio Gadducci and
                  Giacoma Valentina Monreale},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {A Decentralized Implementation of Mobile Ambients},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {115--130},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_9},
  doi          = {10.1007/978-3-540-87405-8\_9},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/GadducciM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Gorp08,
  author       = {Pieter Van Gorp},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Model-Driven Development of Model Transformations},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {517--519},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_51},
  doi          = {10.1007/978-3-540-87405-8\_51},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Gorp08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Grohmann08,
  author       = {Davide Grohmann},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Security, Cryptography and Directed Bigraphs},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {487--489},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_41},
  doi          = {10.1007/978-3-540-87405-8\_41},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Grohmann08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Hammoudeh08,
  author       = {Mohammad Hammoudeh},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Modelling Clustering of Sensor Networks with Synchronised Hyperedge
                  Replacement},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {490--492},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_42},
  doi          = {10.1007/978-3-540-87405-8\_42},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Hammoudeh08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Heckel08,
  author       = {Reiko Heckel},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Tutorial Introduction to Graph Transformation},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {458--459},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_31},
  doi          = {10.1007/978-3-540-87405-8\_31},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Heckel08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Heindel08,
  author       = {Tobias Heindel},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Grammar Morphisms and Weakly Adhesive Categories},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {493--495},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_43},
  doi          = {10.1007/978-3-540-87405-8\_43},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Heindel08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Hermann08,
  author       = {Frank Hermann},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Process Construction and Analysis for Workflows Modelled by Adhesive
                  {HLR} Systems with Application Conditions},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {496--498},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_44},
  doi          = {10.1007/978-3-540-87405-8\_44},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Hermann08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Horvath08,
  author       = {{\'{A}}kos Horv{\'{a}}th},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Towards a Two Layered Verification Approach for Compiled Graph Transformation},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {499--501},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_45},
  doi          = {10.1007/978-3-540-87405-8\_45},
  timestamp    = {Tue, 20 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gg/Horvath08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/JelinkovaK08,
  author       = {Eva Jel{\'{\i}}nkov{\'{a}} and
                  Jan Kratochv{\'{\i}}l},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {On Switching to H-Free Graphs},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {379--395},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_26},
  doi          = {10.1007/978-3-540-87405-8\_26},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/JelinkovaK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Khan08,
  author       = {Ajab Khan},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Model-Based Analysis of Network Reconfigurations Using Graph Transformation
                  Systems},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {502--504},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_46},
  doi          = {10.1007/978-3-540-87405-8\_46},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Khan08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/KonigK08,
  author       = {Barbara K{\"{o}}nig and
                  Vitali Kozioura},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Towards the Verification of Attributed Graph Transformation Systems},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {305--320},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_21},
  doi          = {10.1007/978-3-540-87405-8\_21},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/KonigK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/KreowskiK08,
  author       = {Hans{-}J{\"{o}}rg Kreowski and
                  Sabine Kuske},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Graph Multiset Transformation as a Framework for Massively Parallel
                  Computation},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {351--365},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_24},
  doi          = {10.1007/978-3-540-87405-8\_24},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/KreowskiK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/LambersEPO08,
  author       = {Leen Lambers and
                  Hartmut Ehrig and
                  Ulrike Prange and
                  Fernando Orejas},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Embedding and Confluence of Graph Transformations with Negative Application
                  Conditions},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {162--177},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_12},
  doi          = {10.1007/978-3-540-87405-8\_12},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/LambersEPO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/LaraG08,
  author       = {Juan de Lara and
                  Esther Guerra},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Pattern-Based Model-to-Model Transformation},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {426--441},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_29},
  doi          = {10.1007/978-3-540-87405-8\_29},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/LaraG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Matos08,
  author       = {Carlos M. P. Matos},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Service Extraction from Legacy Systems},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {505--507},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_47},
  doi          = {10.1007/978-3-540-87405-8\_47},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Matos08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/MazanekMM08,
  author       = {Steffen Mazanek and
                  Sonja Maier and
                  Mark Minas},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {An Algorithm for Hypergraph Completion According to Hyperedge Replacement
                  Grammars},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {39--53},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_4},
  doi          = {10.1007/978-3-540-87405-8\_4},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/MazanekMM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/MosbahH08,
  author       = {Mohamed Mosbah and
                  Annegret Habel},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Workshop on Graph Computation Models},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {460--462},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_32},
  doi          = {10.1007/978-3-540-87405-8\_32},
  timestamp    = {Tue, 11 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/MosbahH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Orejas08,
  author       = {Fernando Orejas},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Attributed Graph Constraints},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {274--288},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_19},
  doi          = {10.1007/978-3-540-87405-8\_19},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Orejas08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Pennemann08,
  author       = {Karl{-}Heinz Pennemann},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Resolution-Like Theorem Proving for High-Level Conditions},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {289--304},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_20},
  doi          = {10.1007/978-3-540-87405-8\_20},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Pennemann08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Pennemann08a,
  author       = {Karl{-}Heinz Pennemann},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Development of Correct Graph Transformation Systems},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {508--510},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_48},
  doi          = {10.1007/978-3-540-87405-8\_48},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Pennemann08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/PetreR08,
  author       = {Ion Petre and
                  Grzegorz Rozenberg},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Summary of the Workshop on Natural Computing and Graph Transformations},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {470--472},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_35},
  doi          = {10.1007/978-3-540-87405-8\_35},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/PetreR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/PoudretACG08,
  author       = {Mathieu Poudret and
                  Agn{\`{e}}s Arnould and
                  Jean{-}Paul Comet and
                  Pascale Le Gall},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Graph Transformation for Topology Modelling},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {147--161},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_11},
  doi          = {10.1007/978-3-540-87405-8\_11},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gg/PoudretACG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/RangelLKEB08,
  author       = {Guilherme Rangel and
                  Leen Lambers and
                  Barbara K{\"{o}}nig and
                  Hartmut Ehrig and
                  Paolo Baldan},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Behavior Preservation in Model Refactoring Using {DPO} Transformations
                  with Borrowed Contexts},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {242--256},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_17},
  doi          = {10.1007/978-3-540-87405-8\_17},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/RangelLKEB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/RensinkG08,
  author       = {Arend Rensink and
                  Pieter Van Gorp},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Graph-Based Tools: The Contest},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {463--466},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_33},
  doi          = {10.1007/978-3-540-87405-8\_33},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/RensinkG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/RiegerN08,
  author       = {Stefan Rieger and
                  Thomas Noll},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Abstracting Complex Data Structures by Hyperedge Replacement},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {69--83},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_6},
  doi          = {10.1007/978-3-540-87405-8\_6},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/RiegerN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/SchurrK08,
  author       = {Andy Sch{\"{u}}rr and
                  Felix Klar},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {15 Years of Triple Graph Grammars},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {411--425},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_28},
  doi          = {10.1007/978-3-540-87405-8\_28},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/SchurrK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Stevens08,
  author       = {Perdita Stevens},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Towards an Algebraic Theory of Bidirectional Transformations},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_1},
  doi          = {10.1007/978-3-540-87405-8\_1},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Stevens08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Striewe08,
  author       = {Michael Striewe},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Using a Triple Graph Grammar for State Machine Implementations},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {514--516},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_50},
  doi          = {10.1007/978-3-540-87405-8\_50},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Striewe08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Weinell08,
  author       = {Erhard Weinell},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Transformation-Based Operationalization of Graph Languages},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {520--522},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_52},
  doi          = {10.1007/978-3-540-87405-8\_52},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Weinell08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/YuH08,
  author       = {HongQing Yu and
                  Yi Hong},
  editor       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Graph Transformation for the Semantic Web: Queries and Inference Rules},
  booktitle    = {Graph Transformations, 4th International Conference, {ICGT} 2008,
                  Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  pages        = {511--513},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8\_49},
  doi          = {10.1007/978-3-540-87405-8\_49},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/YuH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  series       = {Lecture Notes in Computer Science},
  volume       = {5214},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87405-8},
  doi          = {10.1007/978-3-540-87405-8},
  isbn         = {978-3-540-87404-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics