Per Year
- A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (WOA 2012) — Matteo Casadei, Mirko Viroli
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012 @ SASO 2012) — Matteo Casadei, Mirko Viroli
