2004
Hartmut Ehrig and Barbara König. Deriving bisimulation congruences in the DPO approach to graph rewriting. In Proc. of FOSSACS '04, pages 151–166. Springer, 2004. LNCS 2987.	GZipped PostScript (130 kB) PDF (311 kB) Info Tech report version
Hartmut Ehrig and Barbara König. Deriving bisimulation congruences in the DPO approach to graph rewriting. Technical Report 01/2004, Universität Stuttgart, 2004.	GZipped PostScript (554 kB) PDF (1017 kB) Info See inf4.informatik.uni-stuttgart.de ... Conference version
Fernando Luís Dotti, Barbara König, Osmar Marchi dos Santos, and Leila Ribeiro. A case study: Verifying a mutual exclusion protocol with process creation using graph transformation systems. Technical Report 08/2004, Universität Stuttgart, 2004.	GZipped PostScript (324 kB) PDF (532 kB) Info See inf4.informatik.uni-stuttgart.de ...