Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking. - Christoph Blume; H. J. Sander Bruggink; Dominik Engelke; Barbara König 001 (ICGT, 2012)