Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
ISO-690 (author-date, English)

VÖRTLER, Thilo, HOFSTEDT, Petra und VIERHAUS, Heinrich Theodor, 2018. Verification of software for Contiki-based low-power embedded systems using software model checking. Cottbus: BTU Cottbus - Senftenberg.

Elsevier - Harvard (with titles)

Vörtler, T., Hofstedt, P., Vierhaus, H.T., 2018. Verification of software for Contiki-based low-power embedded systems using software model checking. BTU Cottbus - Senftenberg, Cottbus. https://doi.org/urn:nbn:de:kobv:co1-opus4-44080

American Psychological Association 7th edition

Vörtler, T., Hofstedt, P., & Vierhaus, H. T. (ca. 2018). Verification of software for Contiki-based low-power embedded systems using software model checking [BTU Cottbus - Senftenberg; Cd]. https://doi.org/urn:nbn:de:kobv:co1-opus4-44080

Springer - Basic (author-date)

Vörtler T, Hofstedt P, Vierhaus HT (2018) Verification of software for Contiki-based low-power embedded systems using software model checking. BTU Cottbus - Senftenberg

Juristische Zitierweise (Stüber) (Deutsch)

Vörtler, Thilo/ Hofstedt, Petra/ Vierhaus, Heinrich Theodor, Verification of software for Contiki-based low-power embedded systems using software model checking, Cottbus 2018.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.