@inproceedings{VoertlerKlotzFordranetal.2011, author = {Thilo V{\"o}rtler and Thomas Klotz and Eva Fordran and Petra Hofstedt}, title = {Formale Verifikation von Contiki-Anwendungen}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 14. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 21.-23.2.2011 in Oldenburg, Tagungsband}, year = {2011}, }