Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : abort if acceptance cycle detected
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 21 Nov 2012 14:49:37 +0000 (15:49 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 21 Nov 2012 15:06:13 +0000 (16:06 +0100)

No differences found