ahartmanns / qcomp

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

DTMC haddad-monmege: unclear model source #69

Open remco1112 opened 4 years ago

remco1112 commented 4 years ago

The source provided for the haddad-monmege model is currently not the source of the model file, but the first description of the model. It is unclear what the correct source should be here.

tquatmann commented 4 years ago

I created the model file from the description of the linked paper. There is no other source.