%0 Conference Paper %1 2632380 %A Zmago Brezočnik %A Boštjan Vlaovič %A Aleksander Vreže %T SpinRCP: the eclipse rich client platform integrated development environment for the spin model checker %B Proceedings of the 2014 International SPIN Symposium on Model Checking of Software %@ 978-1-4503-2452-6 %C San Jose, CA, USA %P 125-128 %D 2014 %R 10.1145/2632362.2632380 %I ACM