TY  - CHAP
TI  - Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation
T2  - Model Checking Software
T3  - Lecture Notes in Computer Science
AU  - Kovše, T.
AU  - Vlaovič, B.
AU  - Vreže, A.
AU  - Brezočnik, Z.
PB  - Springer Berlin Heidelberg
A2  - Păsăreanu, Corina S.
VL  - 5578
SE  - 13
PY  - 2009
SP  - 143
EP  - 147
UR  - http://dx.doi.org/10.1007/978-3-642-02652-2_13
SN  - 978-3-642-02651-5
DO  - 10.1007/978-3-642-02652-2_13
DA  - 2009/01/01