Recognizable Graph Languages for Checking Invariants
Reference
Christoph Blume, H.J. Sander Bruggink, and Barbara König. Recognizable graph languages for checking invariants. In Proc. of GT-VMT '10 (Workshop on Graph Transformation and Visual Modeling Techniques), volume 29 of Electronic Communications of the EASST, 2010.
Suggested BibTeX entry:
@inproceedings{bbk10:invcheck,
author = {Christoph Blume and H.J. Sander Bruggink and Barbara K{\"o}nig},
booktitle = {Proc. of GT-VMT '10 (Workshop on Graph Transformation and Visual Modeling Techniques)},
series = {Electronic Communications of the EASST},
title = {Recognizable Graph Languages for Checking Invariants},
volume = {29},
year = {2010}
}
