The following publications are possibly variants of this publication:
- Verification of Random Graph Transformation SystemsVitali Kozioura. ENTCS, 175(4):63-72, 2007. [doi]
- Unfolding Graph Transformation Systems: Theory and Applications to VerificationPaolo Baldan, Andrea Corradini, Barbara König. birthday 2008: 16-36 [doi]
- A framework for the verification of infinite-state graph transformation systemsPaolo Baldan, Andrea Corradini, Barbara König. iandc, 206(7):869-907, 2008. [doi]
- Verification of Graph Transformation Systems with Context-Free SpecificationsBarbara König, Javier Esparza. gg 2010: 107-122 [doi]
- Applying the Graph Minor Theorem to the Verification of Graph Transformation SystemsSalil Joshi, Barbara König. cav 2008: 214-226 [doi]
- A Temporal Graph Logic for Verification of Graph Transformation SystemsPaolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente. WADT 2006: 1-20 [doi]