External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking

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]

Authors

Christoph Blume

This author has not been identified. Look up 'Christoph Blume' in Google

Harrie Jan Sander Bruggink

This author has not been identified. Look up 'Harrie Jan Sander Bruggink' in Google

Dominik Engelke

This author has not been identified. Look up 'Dominik Engelke' in Google

Barbara König

This author has not been identified. Look up 'Barbara König' in Google
runs on