CaVi -- Simulation and Model Checking for Wireless Sensor Networks.

Tue, 01 Jan 2008 00:00:00 +0100

Athanassios Boulis, Ansgar Fehnker , Matthias Fruth, Annabelle McIver :
CaVi -- Simulation and Model Checking for Wireless Sensor Networks. QEST 2008: 37-38