TY  - JOUR
TI  - Model Checking using Spin and SpinRCP
AU  - Brezočnik, Z.
AU  - Vlaovič, B.
AU  - Vreže, A.
JO  - Informacije MIDEM, Journal of Microelectronics, Electronic Components and Materials
VL  - 43
IS  - 4
PY  - 2013
SP  - 235
EP  - 250
UR  - http://www.midem-drustvo.si/Journal papers/MIDEM_43%282013%294p235.pdf
KW  - formal verification
KW  - model checking
KW  - modelling
KW  - simulation
KW  - Promela
KW  - Spin
KW  - SpinRCP