%0 Conference Paper %1 conf/mbmv/VortlerHHK15 %A Vörtler, Thilo %A Höckner, Benny %A Hofstedt, Petra %A Klotz, Thomas %B MBMV %D 2015 %E Heinkel, Ulrich %E Kriesten, Daniel %E Rößler, Marko %I Sächsische Landesbibliothek %K %P 20-29 %T Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2015.html#VortlerHHK15 %@ 978-3-944640-34-1

@inproceedings{conf/mbmv/VortlerHHK15, added-at = {2023-12-13T02:55:21.000+0100}, author = {Vörtler, Thilo and Höckner, Benny and Hofstedt, Petra and Klotz, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2b6a4e4a921d8867cf548e8024decba82/admin}, booktitle = {MBMV}, crossref = {conf/mbmv/2015}, editor = {Heinkel, Ulrich and Kriesten, Daniel and Rößler, Marko}, interhash = {8551ab861f1a20633c5945da0cbf282d}, intrahash = {b6a4e4a921d8867cf548e8024decba82}, isbn = {978-3-944640-34-1}, keywords = {}, pages = {20-29}, publisher = {Sächsische Landesbibliothek}, timestamp = {2023-12-13T02:55:21.000+0100}, title = {Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2015.html#VortlerHHK15}, year = 2015 }