%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 dblp %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-00-048889-4

@inproceedings{conf/mbmv/VortlerHHK15, added-at = {2015-08-07T00:00:00.000+0200}, author = {Vörtler, Thilo and Höckner, Benny and Hofstedt, Petra and Klotz, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2b6a4e4a921d8867cf548e8024decba82/dblp}, booktitle = {MBMV}, crossref = {conf/mbmv/2015}, editor = {Heinkel, Ulrich and Kriesten, Daniel and Rößler, Marko}, ee = {https://d-nb.info/1068405465}, interhash = {8551ab861f1a20633c5945da0cbf282d}, intrahash = {b6a4e4a921d8867cf548e8024decba82}, isbn = {978-3-00-048889-4}, keywords = {dblp}, pages = {20-29}, publisher = {Sächsische Landesbibliothek}, timestamp = {2024-04-09T14:55:40.000+0200}, 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 }