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