Arbet, P., & Fogel, J. (2011). Modelovanie a verifikácia vlastností algoritmov vzájomného vylúčenia v prostredi SPIN. STU v Bratislave FEI.
Kopírovanie bolo úspešné
Kopírovanie sa nepodarilo
Citácia podle Chicago (17th ed.)
Arbet, Peter, a Jaroslav Fogel. Modelovanie a Verifikácia Vlastností Algoritmov Vzájomného Vylúčenia V Prostredi SPIN. Bratislava: STU v Bratislave FEI, 2011.
Kopírovanie bolo úspešné
Kopírovanie sa nepodarilo
Citácia podľa MLA (8th ed.)
Arbet, Peter, a Jaroslav Fogel. Modelovanie a Verifikácia Vlastností Algoritmov Vzájomného Vylúčenia V Prostredi SPIN. 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..