A Framework to Specify and Verify Computational Fields for Pervasive Systems
 |
 |
 |
address = {New York, NY, USA},
apice = {ModelcheckingTaas10},
author = {Casadei, Matteo and Viroli, Mirko},
journal = {ACM Transactions on Autonomous and Adaptive Systems},
publisher = {ACM},
title = {A Framework to Specify and Verify Computational Fields for Pervasive Systems},
year = 2010
}