Dominik Engelke

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Bipartite Graph

Social Networks

Highly Optimized

Top Venues

Publications

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