Augur - A Tool for the Analysis of Graph Transformation Systems

Barbara König, Vitali Kozioura. Augur - A Tool for the Analysis of Graph Transformation Systems. Bulletin of the EATCS, 87:126-137, 2005.

Abstract

Abstract is missing.