Tkačov, P., & Kotmanová, D. (2008). Grafické znázornenie stavového priestoru pri verifikácii digitálnych systémov metódou model checking. STU v Bratislave FIIT.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
Chicago-Zitierstil (17. Ausg.)
Tkačov, Peter, und Daniela Kotmanová. Grafické Znázornenie Stavového Priestoru Pri Verifikácii Digitálnych Systémov Metódou Model Checking. STU v Bratislave FIIT, 2008.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
MLA-Zitierstil (9. Ausg.)
Tkačov, Peter, und Daniela Kotmanová. Grafické Znázornenie Stavového Priestoru Pri Verifikácii Digitálnych Systémov Metódou Model Checking. STU v Bratislave FIIT, 2008.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.