Cite Them Right 11th edition - Harvard

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

Chicago Manual of Style 17th edition (full note)

Gückel, Dominique. „Synthesis of state space generators for model checking microcontroller code“. Cd. Aachener Informatik-Berichte. Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, [2015?], Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, [2015?]. 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

Modern Language Association 9th edition

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

ISO-690 (author-date, Deutsch)

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

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