External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 213, Issue 1

    1 -- 2Barbara König, Arend Rensink, Reiko Heckel. Preface
    3 -- 21Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani, Paola Spoletini. An Efficient Solution for Model Checking Graph Transformation Systems
    23 -- 38Harrie Jan Sander Bruggink. Towards a Systematic Method for Proving Termination of Graph Transformation Systems
    39 -- 53Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán C. Melgratti. Modelling Dynamic Software Architectures using Typed Graph Grammars
    55 -- 74Claudia Ermel, Hartmut Ehrig. Behavior-Preserving Simulation-to-Animation Model and Rule Transformations
    75 -- 94Karl-Heinz Pennemann. An Algorithm for Approximating the Satisfiability Problem of High-level Conditions
    runs on