Links: Difference between revisions - ProB Documentation

Help

Links: Difference between revisions

← Older editNewer edit →
No edit summary
Line 11: Line 11:
== ProB ==
== ProB ==
* [http://asap0.cs.uni-duesseldorf.de/myprob/MyProB.html myProB Web-Interface]  
* [http://asap0.cs.uni-duesseldorf.de/myprob/MyProB.html myProB Web-Interface]  
* [http://www.stups.uni-duesseldorf.de/ProB/update/prototype/ ProB Rodin Plug-In]
* [http://www.stups.uni-duesseldorf.de/ProB/be4 BE4 Editor]
* [http://www.ecs.soton.ac.uk/~mal/systems/prob.html Old web page of ProB] (in Southampton; use for releases prior to 1.2)
* [http://www.ecs.soton.ac.uk/~mal/systems/prob.html Old web page of ProB] (in Southampton; use for releases prior to 1.2)
* [http://www.stups.uni-duesseldorf.de/ProB/probtalks.php ProB Talks]


== Tools ==
== Tools ==

Revision as of 07:20, 28 March 2010

Books

Miscellaneous

ProB

Tools

Retrieved from "https://prob.hhu.de/w/index.php?title=Links&oldid=577"