CaVi: Simulation and Model Checking for Wireless Sensor Networks
Athanassis Boulis‚ Ansgar Fehnker‚ Matthias Fruth and Annabelle McIver
Book Title
Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems (QEST 2008)
Pages
37–38
Year
2008