TY  - THES
TI  - Integration of Spin tool into Development Environment Eclipse
AU  - Kovše, T.
PY  - 2008
SP  - 1
EP  - 80
UR  - http://dkum.uni-mb.si/Dokument.php?id=6606
KW  - Concurrent Systems
KW  - Development Environment Eclipse
KW  - Plug-in
KW  - Promela
KW  - Spin
KW  - MSC