Doina Bucur, Marta Z. Kwiatkowska. Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications. In Manfred Tscheligi, Boris E. R. de Ruyter, Panos Markopoulos, Reiner Wichert, Thomas Mirlacher, Alexander Meschtscherjakov, Wolfgang Reitberger, editors, Ambient Intelligence, European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings. Volume 5859 of Lecture Notes in Computer Science, pages 101-105, Springer, 2009. [doi]
@inproceedings{BucurK09,
title = {Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications},
author = {Doina Bucur and Marta Z. Kwiatkowska},
year = {2009},
doi = {10.1007/978-3-642-05408-2_12},
url = {http://dx.doi.org/10.1007/978-3-642-05408-2_12},
tags = {context-aware},
researchr = {https://researchr.org/publication/BucurK09},
cites = {0},
citedby = {0},
pages = {101-105},
booktitle = {Ambient Intelligence, European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings},
editor = {Manfred Tscheligi and Boris E. R. de Ruyter and Panos Markopoulos and Reiner Wichert and Thomas Mirlacher and Alexander Meschtscherjakov and Wolfgang Reitberger},
volume = {5859},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-05407-5},
}