@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},
}