APA:
Brezočnik, Zmago, Vlaovič, Boštjan, Vreže, Aleksander (2013). Model checking using Spin and SpinRCP.
Informacije MIDEM, letnik 43, številka 4, str. 235-250.
URN:NBN:SI:DOC-CYQI6EAZ from http://www.dlib.si
MLA:
Brezočnik, Zmago, Vlaovič, Boštjan, Vreže, Aleksander. "Model checking using Spin and SpinRCP."
Informacije MIDEM letnik 43. številka 4 (2013) str. 235-250.
<http://www.dlib.si/?URN=URN:NBN:SI:DOC-CYQI6EAZ>