Gückel, D.M. (2014) Synthesis of state space generators for model checking microcontroller code [cd], Aachener Informatik-Berichte. Aachen: RWTH Aachen.
Chicago Manual of Style 17th edition (full note)Gückel, Donimique Marcel. Synthesis of state space generators for model checking microcontroller code. Cd. Aachener Informatik-Berichte. Aachen: RWTH Aachen, [2014?], Aachen: RWTH Aachen, [2014?].
American Psychological Association 7th editionGückel, D. M. (ca. 2014). Synthesis of state space generators for model checking microcontroller code [Cd]. In Aachener Informatik-Berichte. RWTH Aachen.
Modern Language Association 9th editionGückel, D. M. „Synthesis of state space generators for model checking microcontroller code“. Aachener Informatik-Berichte, cd, RWTH Aachen, 2014.
ISO-690 (author-date, Deutsch)GÜCKEL, Donimique Marcel, 2014. Synthesis of state space generators for model checking microcontroller code. Aachen: RWTH Aachen