@Inproceedings{DBLP:conf/wia/DeganoFM13,
   joint-pub = {false},
   status = {public},
   link = {http://www.di.unipi.it/~mezzetti/data/uploads/ciaa13.pdf},
   task = {T5.1},
   doi = {10.1007/978-3-642-39274-0_11},
   booktitle = {CIAA},
   year = {2013},
   isbn = {978-3-642-39273-3},
   invited = {no},
   timestamp = {2013.11.07},
   main = {no},
   accessible = {true},
   title = {{Towards Nominal Context-Free Model-Checking}},
   author = {Pierpaolo Degano and Gian Luigi Ferrari and Gianluca Mezzetti},
   ee = {http://dx.doi.org/10.1007/978-3-642-39274-0_11},
   period = {year3},
   owner = {kroiss},
   bibsource = {DBLP, http://dblp.uni-trier.de},
   ascens_ref = {true},
   partner = {UNIPI},
   wp = {WP5},
   pages = {109-121}
}