TY - CONF AU - Isenberg, Tobias AU - Steenken, Dominik AU - Wehrheim, Heike ED - Beyer, Dirk ED - Boreale, Michele ID - 3176 T2 - Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings TI - Bounded Model Checking of Graph Transformation Systems via {SMT} Solving ER -