Efficient Symbolic Implementation of Graph Automata with Applications ...

Reference

Christoph Blume, H.J. Sander Bruggink, Dominik Engelke, and Barbara König. Efficient symbolic implementation of graph automata with applications to invariant checking. In Proceedings of ICGT 2012, 2012.

Suggested BibTeX entry:

@inproceedings{bbek:automata2012,
    author = {Christoph Blume and H.J. Sander Bruggink and Dominik Engelke and Barbara K{\"o}nig},
    booktitle = {Proceedings of ICGT 2012},
    title = {Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking},
    year = {2012}
}



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