Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems

@inproceedings{modelchecking-asensis2012,
   address = {SASO 2012, Lyon, France},
   apice = {ModelcheckingAsensis2012},
   author = {Casadei, Matteo and Viroli, Mirko},
   booktitle = {1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012)},
   editor = {José Luis Fernandez-Marquez and Montagna, Sara and Omicini, Andrea and Franco Zambonelli},
   month = {10 September},
   note = {Pre-proceedings},
   numpages = 6,
   pages = {59--64},
   publisher = {IEEE},
   title = {Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems},
   venue = {ASENSIS|SASOW},
   year = 2012
}