CaVi: Simulation and Model Checking for Wireless Sensor Networks

Detalhes bibliográficos
Main Authors: Boulis, A, Fehnker, A, Fruth, M, McIver, A
Formato: Conference item
Publicado em: 2008