Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : example changed
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 24 Jun 2011 15:20:26 +0000 (17:20 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:56 +0000 (13:36 +0200)
commit855eeebe46f239ac98e86c7ce382eb278c15dd82
treeccfdbf9bd118dcb82723c6200e4f60b91953632a
parentfcd3350abd72d6f0490ee3f54498e6d9ee6239ce
model-checker : example changed
examples/msg/mc/example_automaton.c