@Article{BDFZMSCS2012,
   assoc_res = {Massimo Bartoletti},
   joint-pub = {true},
   status = {private},
   task = {T5.3},
   year = {2009},
   invited = {no},
   timestamp = {2012.10.31},
   volume = {To appear},
   main = {no},
   accessible = {true},
   title = {{Model Checking Usage Policies}},
   author = {Massimo Bartoletti and Pierpaolo Degano and Gian Luigi Ferrari and Roberto Zunino},
   period = {year2},
   journal = {Mathematical Structures in Computer Science},
   owner = {kroiss},
   ascens_ref = {true},
   partner = {UNIPI},
   wp = {WP5}
}