A Logical Framework for Augmented Simulations of Wireless Sensor Networks.

Luca Gatani, Giuseppe Lo Re, Marco Ortolani

Browse the full SMC paper archive.