URN:NBN:SI:doc-CYQI6EAZ2013Brezočnik, ZmagoVlaovič, BoštjanVreže, Aleksanderdocuments/doc/C/URN_NBN_SI_doc-CYQI6EAZ_001.pdfdocuments/doc/C/URN_NBN_SI_doc-CYQI6EAZ_001.txt443articlestr. 235-2500352-904517523222URN:NBN:SI:doc-CYQI6EAZengStrokovno društvo za mikroelektroniko, elektronske sestavne dele in materialeInformacije MIDEMInCmodeliranjeporazdeljeni sistemipreverjanje modelovPromelasimulacijaSpinSpinRCPverifikacijaModel checking using Spin and SpinRCPPreverjanje modelov z uporabo orodij Spin in SpinRCP