Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update NEWS file
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Sep 2013 15:45:59 +0000 (17:45 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Sep 2013 15:45:59 +0000 (17:45 +0200)
commite9ffa21b976c3b7882fa80de9294c0984fa65e2f
treee072061074396eafd2980b38a0b03c8dd5d9ca19
parent1f041a309f67456d9f3e473030dbbd02ef8af33d
model-checker : update NEWS file
NEWS