"Bounded Model Checking of Graph Transformation Systems via SMT Solving."

Tobias Isenberg, Dominik Steenken, Heike Wehrheim (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics