A forum for Spin users
You are not logged in.
Pages: 1
When I'm using iSpin Editor/View and display the Automata View get the following error "ispin:cannot find dot'', anyone can help me solve this problem?
Offline
Not installed, the problem is that, what is the name of the package I should install?
Offline
Pages: 1