No edit summary |
No edit summary |
||
| Line 5: | Line 5: | ||
== Resources == | == Resources == | ||
* [https://www3.hhu.de/stups/prob/index.php/BMotionWeb_Download BMotionWeb Download] | |||
== Live Online Formal Prototypes == | == Live Online Formal Prototypes == | ||
This page provides additional information and resources for the tool paper we have submitted for the SEFM 2016 conference.
If you have troubles with running the online version, please contact Lukas Ladenberger (ladenberger@cs.uni-duesseldorf.de).