Team: Difference between revisions

Revision as of 17:10, 27 January 2021

ProB is based on research and implemention effort by:

Michael Leuschel,
Michael Butler,
Jens Bendisposto,
Ivaylo Dobrikov,
Dominik Hansen,
Philipp Körner,
Sebastian Krings,
Lukas Ladenberger,
David Schneider,
Joshua Schmidt
Daniel Plagge,
Marc Fontaine,
Fabian Fritz,
Corina Spermann,
Michael Jastram,
Joy Clark,
David Gelessus
Antonia Pütz
Fabian Vu
Yumiko Takahashi
Michelle Werth
Philip Hoefges,
Edward Turner,
Dennis Winter,
Sonja Holl,
Jens Krüger,
Michael Birkhoff,
Carla Ferreira,
Stéphane Lo Presti,
Leonid Mikhailov,
Laksono Adhianto, ...

Part of the research and development was conducted within various research projects, such as the EPSRC funded projects ABCD and iMoc, the EU funded projects Rodin, Deploy and Advance as well as the DFG projects Gepavas, Gepavas II and IVOIRE.

Revision as of 14:54, 22 February 2018 (view source) Michael Leuschel (talk \| contribs) No edit summary ← Older edit		Revision as of 17:10, 27 January 2021 (view source) Michael Leuschel (talk \| contribs) No edit summary Newer edit →
Line 33:		Line 33:


	Part of the research and development was conducted within various research projects, such as the ~~[http://www.epsrc.ac.uk/default.htm~~ EPSRC] funded projects [http://users.ecs.soton.ac.uk/phh/abcd/ ABCD] and [http://users.ecs.soton.ac.uk/mal/ISM.html iMoc], the EU funded projects [http://rodin.cs.ncl.ac.uk/ Rodin], [http://www.deploy-project.eu/ Deploy] and [http://www.advance-ict.eu/ Advance] as well as the [http://www.dfg.de/ DFG] ~~project~~ [http://www.gepavas.de/ Gepavas].		Part of the research and development was conducted within various research projects, such as the EPSRC funded projects [http://users.ecs.soton.ac.uk/phh/abcd/ ABCD] and [http://users.ecs.soton.ac.uk/mal/ISM.html iMoc], the EU funded projects [http://rodin.cs.ncl.ac.uk/ Rodin], [http://www.deploy-project.eu/ Deploy] and [http://www.advance-ict.eu/ Advance] as well as the [http://www.dfg.de/ DFG] projects [http://www.gepavas.de/ Gepavas], Gepavas II and IVOIRE.