Model checking using Spin and SpinRCP - Brezočnik, Zmago (Informacije MIDEM, 2013)
Keywords: porazdeljeni sistemi; Spin; preverjanje modelov; verifikacija; modeliranje; simulacija; Promela; SpinRCP