Habel, Annegret, Germany
-
Volume 1: Graph Based Tools 2006 - Articles
ENFORCe: A System for Ensuring Formal Correctness of High-level Programs
Abstract PDF -
Volume 26: Manipulation of Graphs, Algebras and Pictures - Articles
Parallelism and Concurrency Theorems for Rules with Nested Application Conditions
Abstract PDF -
Volume 30: Graph and Model Transformation 2010 - Articles
Expressiveness of graph conditions with variables
Abstract PDF -
Volume 39: Graph Computation Models 2010 - Preface
Graph Computation Models
Details PDF
Hosted By Universitätsbibliothek TU Berlin.