%0 Conference Paper %1 conf/qest/BoulisFFM08 %A Boulis, Athanassios %A Fehnker, Ansgar %A Fruth, Matthias %A McIver, Annabelle %B QEST %D 2008 %I IEEE Computer Society %K %P 37-38 %T CaVi -- Simulation and Model Checking for Wireless Sensor Networks. %U http://dblp.uni-trier.de/db/conf/qest/qest2008.html#BoulisFFM08 %@ 978-0-7695-3360-5

@inproceedings{conf/qest/BoulisFFM08, added-at = {2023-12-14T16:32:16.000+0100}, author = {Boulis, Athanassios and Fehnker, Ansgar and Fruth, Matthias and McIver, Annabelle}, biburl = {https://www.bibsonomy.org/bibtex/20adcb032f01cc49300948cba5410ffe7/admin}, booktitle = {QEST}, crossref = {conf/qest/2008}, ee = {http://doi.ieeecomputersociety.org/10.1109/QEST.2008.32}, interhash = {f970688483c6f4ae1c2acbe95f0bd29d}, intrahash = {0adcb032f01cc49300948cba5410ffe7}, isbn = {978-0-7695-3360-5}, keywords = {}, pages = {37-38}, publisher = {IEEE Computer Society}, timestamp = {2023-12-14T16:32:16.000+0100}, title = {CaVi -- Simulation and Model Checking for Wireless Sensor Networks.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2008.html#BoulisFFM08}, year = 2008 }