User Tools

Site Tools


wp4_list

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
wp4_list [2016/03/19 19:57]
imt
wp4_list [2016/03/20 12:48] (current)
imt
Line 52: Line 52:
 L. Aceto, A. Morichetta, F. Tiezzi: Decision Support for Mobile Cloud Computing Applications via Model Checking. MobileCloud 2015: 199-204, IEEE 2015. L. Aceto, A. Morichetta, F. Tiezzi: Decision Support for Mobile Cloud Computing Applications via Model Checking. MobileCloud 2015: 199-204, IEEE 2015.
  
-L. Bortolussi, R. De Nicola, ​V. Galpin, S. Gilmore, J. Hillston, D. Latella, M. Loreti, M. Massink: CARMA: Collective Adaptive Resource-Sharing ​Markovian Agents,+L. Bortolussi, R. De Nicola, ​Vashti ​Galpin, S. Gilmore, J. Hillston, D. Latella, M. Loreti, M. Massink: CARMA: Collective Adaptive Resource-sharing ​Markovian Agents. QAPL 2015: 16-31EPTCS, 194.
  
 L. Bortolussi, R. De Nicola, Vashti Galpin, S. Gilmore, J. Hillston, D. Latella, M. Loreti, M. Massink: L. Bortolussi, R. De Nicola, Vashti Galpin, S. Gilmore, J. Hillston, D. Latella, M. Loreti, M. Massink:
wp4_list.txt ยท Last modified: 2016/03/20 12:48 by imt