Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : stats XP of model checking on chord example
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Dec 2012 19:56:12 +0000 (20:56 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Dec 2012 19:56:37 +0000 (20:56 +0100)
commit74a9167818deaa2187e18a933131e451294585bc
treea93d0436537a16fb4b69cec58ba2baab17fe860c
parenta65af9cc95088e0b83af31e744ff4a9bbae3fad7
model-checker : stats XP of model checking on chord example
examples/msg/chord/xp_MC.txt [new file with mode: 0644]