|
|
| Line 1: |
Line 1: |
| ProB is based in research and implemention effort by: | | ProB is based on research and implemention effort by: |
| * [http://www.stups.uni-duesseldorf.de/~leuschel/ Michael Leuschel], | | * [http://www.stups.uni-duesseldorf.de/~leuschel/ Michael Leuschel], |
| * Michael Butler, | | * Michael Butler, |
Revision as of 12:31, 19 February 2015
ProB is based on research and implemention effort by:
- Michael Leuschel,
- Michael Butler,
- Jens Bendisposto,
- Daniel Plagge,
- Lukas Ladenberger,
- Ivaylo Dobrikov,
- Marc Fontaine,
- Fabian Fritz,
- Corina Spermann,
- Michael Jastram,
- Dominik Hansen,
- Sebastian Krings,
- Philipp Körner,
- Joy Clark,
- Edward Turner,
- Dennis Winter,
- Sonja Holl,
- Jens Krüger,
- Michael Birkhoff,
- Carla Ferreira,
- Stéphane Lo Presti,
- Leonid Mikhailov,
- Laksono Adhianto, ...