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]
Abstract is missing.