Plevko, J., & Fogel, J. (2011). Konštrukcia Buchiho automatov z formúl logiky LTL. STU v Bratislave FEI.
Kopírovanie bolo úspešné
Kopírovanie sa nepodarilo
Citácia podle Chicago (17th ed.)
Plevko, Ján, a Jaroslav Fogel. Konštrukcia Buchiho Automatov Z Formúl Logiky LTL. Bratislava: STU v Bratislave FEI, 2011.
Kopírovanie bolo úspešné
Kopírovanie sa nepodarilo
Citácia podľa MLA (8th ed.)
Plevko, Ján, a Jaroslav Fogel. Konštrukcia Buchiho Automatov Z Formúl Logiky LTL. STU v Bratislave FEI, 2011.
Kopírovanie bolo úspešné
Kopírovanie sa nepodarilo
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..