Augur 2—A New Version of a Tool for the Analysis of Graph ...
Reference
Barbara König and Vitali Kozioura. Augur 2—a new version of a tool for the analysis of graph transformation systems. In Proc. of GT-VMT '06 (Workshop on Graph Transformation and Visual Modeling Techniques), volume 211 of ENTCS, pages 201–210. Elsevier, 2008.
Suggested BibTeX entry:
@inproceedings{KK06b,
author = {Barbara K{\"o}nig and Vitali Kozioura},
booktitle = {Proc. of GT-VMT '06 (Workshop on Graph Transformation and Visual Modeling Techniques)},
pages = {201--210},
publisher = {Elsevier},
series = {ENTCS},
title = {Augur~2---A New Version of a Tool for the Analysis of Graph Transformation Systems},
volume = {211},
year = {2008}
}
