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

GÜCKEL, Dominique, 2015. Synthesis of state space generators for model checking microcontroller code. Aachen: Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen.

Elsevier - Harvard (with titles)

Gückel, D., 2015. Synthesis of state space generators for model checking microcontroller code. Aachener Informatik-Berichte. Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, Aachen. https://doi.org/urn:nbn:de:hbz:82-opus-52966

American Psychological Association 7th edition

Gückel, D. (ca. 2015). Synthesis of state space generators for model checking microcontroller code [Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen; Cd]. In Aachener Informatik-Berichte. https://doi.org/urn:nbn:de:hbz:82-opus-52966

Springer - Basic (author-date)

Gückel D (2015) Synthesis of state space generators for model checking microcontroller code. Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen

Juristische Zitierweise (Stüber) (Deutsch)

Gückel, Dominique, Synthesis of state space generators for model checking microcontroller code, Aachen 2015.

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