Volume 38, 2011

• 
  Andrea Corradini: Preface.

• 
  Christoph Blume: Efficient Implementation of Automaton Functors for the Verification of Graph Transformation Systems.
• 
  Mathias Hülsbusch: Application Conditions for Reactive Systems with Applications to Bisimulation Theory.
• 
  Eugen Jiresch: Realizing Impure Functions in Interaction Nets.
• 
  Eduardo Zambon, Arend Rensink: Using Graph Transformations and Graph Abstractions for Software Verification.
• 
  Enrico Biermann: Local Confluence Analysis of Consistent EMF Transformations.
• 
  Adwoa Donyina, Reiko Heckel: Modelling Flexible Human Resource Allocation by Stochastic Graph Transformation.
• 
  Zoltán Ujhelyi, Ákos Horváth, Dániel Varró: Static Type Checking of Model Transformation Programs.
• 
  Fawad Qayum, Reiko Heckel: Search-Based Refactoring using Unfolding of Graph Transformation Systems.

last updated on Sat May 18 06:05:36 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page