| VRSTA GRADIVA | analitična raven (sestavni del), tekstovno gradivo, tiskano, 1.01 - izvirni znanstveni članek |
| DRŽAVA IZIDA | Slovenija |
| LETO IZIDA | 2013 |
| JEZIK BESEDILA/IZVIRNIKA | angleški |
| PISAVA | latinica |
| AVTOR | Brezočnik, Zmago - avtor |
| ODGOVORNOST | Vlaovič, Boštjan - avtor // Vreže, Aleksander - avtor |
| NASLOV | Model checking using Spin and SpinRCP = Preverjanje modelov z uporabo orodij Spin in SpinRCP |
| V PUBLIKACIJI | Informacije MIDEM. - ISSN 0352-9045.. - ǂVol.ǂ43, ǂno. ǂ4 (Dec. 2013), str. 235-250. |
| OPOMBE | Bibliografija: str. 249-250 // Abstract ; Izvleček |
| ELEKTRONLOKACIJA/DOSTOP | Dostopno tudi na: http://www.midem-drustvo.si/Journal%20papers/MIDEM_43(2013)4p235.pdf |
| PREDMETNE OZNAKE | porazdeljeni sistemi // preverjanje modelov //verifikacija // modeliranje // simulacija // Promela // Spin // SpinRCP |
| UDK | 004.75 |