Electronic Notes in Theoretical Computer Science, Volume 213

Volume 213, Number 1, May 2008

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