napredno iskanje
o slovenski bibliografiji
kontakt
pomoč
kolofon
english
domov
>
napredno iskanje
>
rezultati
>
izpis
Zapis ISO690
BREZOČNIK, Zmago; VLAOVIČ, Boštjan; VREŽE, Aleksander
.
Model checking using Spin and SpinRCP
.
str. 235-250
.
http://www.midem-drustvo.si/Journal%20papers/MIDEM_43(2013)4p235.pdf
.
ISSN 0352-9045
.