Recognizable graph languages for checking invariants
Reference
Christoph Blume, H.J. Sander Bruggink, and Barbara König. Recognizable graph languages for checking invariants. In Proceedings of GT-VMT 2010, Electronic Communications of the EASST, 2010.
Suggested BibTeX entry:
@inproceedings{bbk:invcheck10,
author = {Christoph Blume and H.J. Sander Bruggink and Barbara K{\"o}nig},
booktitle = {Proceedings of GT-VMT 2010},
series = {Electronic Communications of the EASST},
title = {Recognizable graph languages for checking invariants},
year = {2010}
}
