A Framework to Specify and Verify Computational Fields for Pervasive Systems

   page       BibTeX_logo.png   
@article{modelchecking-taas10,
publisher = {ACM},
journal = {ACM Transactions on Autonomous and Adaptive Systems},
author = {Casadei, Matteo and Viroli, Mirko},
title = {A Framework to Specify and Verify Computational Fields for Pervasive Systems},
year = 2010,
url = {http://apice.unibo.it/xwiki/bin/view/Publications/ModelcheckingTaas10},
address = {New York, NY, USA}}