@inproceedings{Boulis2008cavi,
  author = "Athanassis Boulis and Ansgar Fehnker and Matthias Fruth and Annabelle McIver",
  booktitle = "Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems (QEST 2008)",
  pages = "37--38",
  title = "CaVi: Simulation and Model Checking for Wireless Sensor Networks",
  year = "2008",
}