Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02652-2_13 ◽

2009 ◽

pp. 143-147 ◽

Cited By ~ 6

Author(s):

Tim Kovše ◽

Boštjan Vlaovič ◽

Aleksander Vreže ◽

Zmago Brezočnik

Download Full-text