Efficient Symbolic Implementation of Graph Automata with Applications ...

Reference

Christoph Blume, Sander Bruggink H., J., Dominik Engelke, and Barbara König. Efficient symbolic implementation of graph automata with applications to invariant checking. In Proc. of ICGT '12 (International Conference on Graph Transformation), pages 264–278. Springer, 2012. LNCS 7562.

Suggested BibTeX entry:

@inproceedings{BBEK12,
    author = {Christoph Blume and H.\,J.\,Sander Bruggink and Dominik Engelke and Barbara K{\"o}nig},
    booktitle = {Proc. of ICGT '12 (International Conference on Graph Transformation)},
    note = {{LNCS} 7562},
    pages = {264--278},
    publisher = {Springer},
    title = {Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking},
    year = {2012}
}



This work is not available online here.
© University of Duisburg-Essen, Theoretical Computer Science group