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}
}



PDF (236 kB)
© University of Duisburg-Essen, Theoretical Computer Science group