Cita APA (7a ed.)
Arbet, P., & Fogel, J. (2011). Modelovanie a verifikácia vlastností algoritmov vzájomného vylúčenia v prostredi SPIN. STU v Bratislave FEI.
Cita Chicago Style (17a ed.)
Arbet, Peter, y Jaroslav Fogel. Modelovanie a Verifikácia Vlastností Algoritmov Vzájomného Vylúčenia V Prostredi SPIN. Bratislava: STU v Bratislave FEI, 2011.
Cita MLA (9a ed.)
Arbet, Peter, y Jaroslav Fogel. Modelovanie a Verifikácia Vlastností Algoritmov Vzájomného Vylúčenia V Prostredi SPIN. STU v Bratislave FEI, 2011.
Precaución: Estas citas no son 100% exactas.