README update (contributors).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9165 bbc10eb1-c90d-0410-af57-cb519fbb1720
11 years ago · 27a96022f0
1 changed files with 1 additions and 0 deletions
--- a/prism/README.txt
+++ b/prism/README.txt
@ -82,6 +82,7 @@ PRISM was created and is still actively maintained by:
 We gratefully acknowledge contributions to the PRISM code-base from various sources,
 including (in approximately reverse chronological order):

+ * Joachim Klein: Various bug fixes, especially related to LTL
 * Vojtech Forejt: Various model checking code, including multi-objective + GUI enhancements
 * Hongyang Qu: Multi-objective model checking
 * Mateusz Ujma: Bug fixes and GUI improvements