Barbara König, Vitali Kozioura
Augur 2 — A New Version of a Tool for the Analysis of Graph Transformation Systems
GT-VMT, 2008.
@article{GT-VMT-2006-KonigK08,
author = "Barbara König and Vitali Kozioura",
doi = "10.1016/j.entcs.2008.04.042",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "201--210",
title = "{Augur 2 — A New Version of a Tool for the Analysis of Graph Transformation Systems}",
volume = 211,
year = 2008,
}