@inproceedings{Gonczy-Kovacs-Varro-GTVC06, author = {L\'aszl\'o G\"onczy and M\'at\'e Kov\'acs and D\'aniel Varr\'o}, title = {Modeling and {V}erification of {R}eliable {M}essaging by {G}raph {T}ransformation {S}ystems}, booktitle = {Proc. of the Workshop on Graph Transformation for Verification and Concurrency (GTVC2006) }, year = 2006, publisher = {Elsevier}, }