@Inproceedings{AGSTZ:PDP14,
   status = {public},
   task = {T1.1, T1.3},
   publisher = {IEEE},
   doi = {10.1109/PDP.2014.42},
   booktitle = {Proc. of 22nd EUROMICRO Inter- national Conference on Parallel, Distributed and Network-Based Processing (PDP 2014)},
   year = {2014},
   invited = {no},
   main = {no},
   title = {{Towards a Formal Approach to Mobile Cloud Computing}},
   author = {Michele Amoretti and Alessandro Grazioli and Valerio Senni and Francesco Zanichelli},
   period = {year4},
   partner = {IMT},
   wp = {WP1},
   pages = {743-750}
}