CaVi: Simulation and Model Checking for Wireless Sensor Networks
Athanassis Boulis, Ansgar Fehnker, Matthias Fruth and Annabelle McIver infobook title | Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems (QEST 2008) |
pages | 37—38 |
year | 2008 |
links
BibTeX
Download (pdf)
related pages
|
