MDP consensus: Fix source and author

ahartmanns / qcomp

qcomp.org – Quantitative Model Repository and Tool Comparison

http://qcomp.org/

6 stars 7 forks source link

Open remco1112 opened 4 years ago

remco1112 commented 4 years ago

Source should be the prism benchmark, and the author of the model is Gethin Norman.