- APICe
- Publications
- A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems
Matteo Casadei, Mirko Viroli
Proceedings of the 13th Workshop on Objects and Agents
12 September 2012
CEUR-WS
Flavio De Paoli, Giuseppe Vizzari (eds.)
@inproceedings{modelchecking-woa2012,
url-pdf = {http://ceur-ws.org/Vol-892/paper2.pdf},
issn = {1613-0073},
booktitle = {Proceedings of the 13th Workshop on Objects and Agents},
publisher = {CEUR-WS},
author = {Casadei, Matteo and Viroli, Mirko},
title = {A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems},
year = 2012,
status = {Published},
venue = {WOA},
editor = {De Paoli, Flavio and Vizzari, Giuseppe},
month = {12 September}}
url-pdf = {http://ceur-ws.org/Vol-892/paper2.pdf},
issn = {1613-0073},
booktitle = {Proceedings of the 13th Workshop on Objects and Agents},
publisher = {CEUR-WS},
author = {Casadei, Matteo and Viroli, Mirko},
title = {A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems},
year = 2012,
status = {Published},
venue = {WOA},
editor = {De Paoli, Flavio and Vizzari, Giuseppe},
month = {12 September}}
Journals & Series
- CEUR Workshop Proceedings (CEUR-WS.org)
Events
- 13º Workshop Nazionale “Dagli Oggetti agli Agenti” (WOA 2012) — 17/09/2012–19/09/2012