APA:
Brezočnik, Zmago, Vlaovič, Boštjan, Vreže, Aleksander (2013). Model checking using Spin and SpinRCP.
Informacije MIDEM, volume 43, issue 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 volume 43. issue 4 (2013) str. 235-250.
<http://www.dlib.si/?URN=URN:NBN:SI:DOC-CYQI6EAZ>