Christoph Blume, Harrie Jan Sander Bruggink, Dominik Engelke, Barbara König. Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg, editors, Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings. Volume 7562 of Lecture Notes in Computer Science, pages 264-278, Springer, 2012. [doi]
Abstract is missing.