CaVi: Simulation and Model Checking for Wireless Sensor Networks

Dades bibliogràfiques
Autors principals: Boulis, A, Fehnker, A, Fruth, M, McIver, A
Format: Conference item
Publicat: 2008