(Created page with 'ProB is based in research and implemention effort by: * Michael Leuschel, * Michael Butler, * Jens Bendisposto, * Daniel Plagge, * Fabian Fritz, * Corina Spermann, * Michael Jast…') |
No edit summary |
||
| Line 1: | Line 1: | ||
ProB is based in research and implemention effort by: | ProB is based in research and implemention effort by: | ||
* Michael Leuschel, | * [http://www.stups.uni-duesseldorf.de/~leuschel/ Michael Leuschel], | ||
* Michael Butler, | * Michael Butler, | ||
* Jens Bendisposto, | * Jens Bendisposto, | ||
ProB is based in research and implemention effort by: