Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : typo
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 3 Jul 2012 20:38:16 +0000 (22:38 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 3 Jul 2012 20:38:16 +0000 (22:38 +0200)
commit28628af902f72f15bd3fb0b7c93d1dd8a63d29ac
tree640d99f606412e9c9193452959821571e8e139ee
parentd0d59f5fddb48acb3ce7315d3a992c8d3669afcd
model-checker : typo
src/mc/mc_liveness.c