search

ahartmanns / qcomp

qcomp.org – Quantitative Model Repository and Tool Comparison
http://qcomp.org/
6 stars 7 forks source link

MDP rectangle-tireworld: Fix author and dead link #89

Open remco1112 opened 4 years ago

remco1112 commented 4 years ago

Removed dead link and fixed author. See #77 for similar PRs.