APA-Zitierstil (7. Ausg.)
Tkáč, S., & Macko, D. (2014). Kontrola ekvivalencie hardvérových návrhov pomocou matematickej logiky. STU v Bratislave FIIT.
Chicago-Zitierstil (17. Ausg.)
Tkáč, Samuel, und Dominik Macko. Kontrola Ekvivalencie Hardvérových Návrhov Pomocou Matematickej Logiky. Bratislava: STU v Bratislave FIIT, 2014.
MLA-Zitierstil (9. Ausg.)
Tkáč, Samuel, und Dominik Macko. Kontrola Ekvivalencie Hardvérových Návrhov Pomocou Matematickej Logiky. STU v Bratislave FIIT, 2014.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.