@Inproceedings{DFMCIAA2012,
   joint-pub = {false},
   status = {public},
   link = {http://www.di.unipi.it/~mezzetti/data/uploads/CIAA12.pdf},
   task = {T5.3},
   publisher = {Springer},
   doi = {10.1007/978-3-642-31606-7_11},
   booktitle = {Implementation and Application of Automata - 17th International Conference},
   series = {Lecture Notes in Computer Science},
   year = {2012},
   invited = {no},
   timestamp = {2012.10.31},
   volume = {7381},
   main = {no},
   accessible = {true},
   title = {{Nominal Automata for Resource Usage Control}},
   author = {Pierpaolo Degano and Gian-Luigi Ferrari and Gianluca Mezzetti},
   period = {year2},
   owner = {kroiss},
   ascens_ref = {true},
   partner = {UNIPI},
   wp = {WP5},
   pages = {125-137}
}