DTMC leader_sync: Fix source

ahartmanns / qcomp

qcomp.org – Quantitative Model Repository and Tool Comparison

http://qcomp.org/

6 stars 7 forks source link

DTMC leader_sync: Fix source #64

Open remco1112 opened 4 years ago

remco1112 commented 4 years ago

Currently, the source for the leader_sync model is the paper introducing the protocol. This PR corrects this to the paper about the prism benchmark, since there is no paper specifically about this model.