@Inproceedings{vandin@gt-vmt2011,
   status = {public},
   link = {http://www.albertolluch.com/wp-content/uploads/2011/05/gtvmt2011.pdf},
   task = {T1.3},
   publisher = {ECEAAST},
   booktitle = {Proceedings of the 10th International Workshop on Graph Transformation and Visual Modelling Languages (GT-VMT'11)},
   joint-pub = {false},
   reported = {year1},
   year = {2011},
   invited = {no},
   timestamp = {2012.10.31},
   main = {no},
   note = {To appear},
   title = {{Towards a Maude Tool for Model Checking Temporal Graph Properties}},
   editor = {Fabio Gadducci and Leonardo Mariani},
   author = {Alberto Lluch Lafuente and Andrea Vandin},
   period = {year1},
   owner = {kroiss},
   accessible = {true},
   partner = {IMT},
   ascens_ref = {true},
   wp = {WP2}
}