Skip to Content

A Framework to Specify and Verify Computational Fields for Pervasive Systems

   page       BibTeX_logo.png       attach   
@article{modelchecking-taas10,
apice = {ModelcheckingTaas10},
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,
address = {New York, NY, USA}}

A Framework to Specify and Verify Computational Fields for Pervasive Systems
— status
unpublished
— sort
article in journal
who
— authors
Matteo Casadei  •  Mirko Viroli
where & when
— journal
ACM Transactions on Autonomous and Adaptive Systems
— publisher
ACM
BibTeX alignment
— address
New York, NY, USA
APICe
— journal or series
ACM Transactions on Autonomous and Adaptive Systems
— superseded by
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems