Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : wait with timeout is always dependant with another transition
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 18 Feb 2014 13:26:28 +0000 (14:26 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 18 Feb 2014 13:26:28 +0000 (14:26 +0100)
commit97890f029cd8f18dcf5acad193cc45cc1b946c3c
tree936967036470222a0ec973c89601de4a9d7ffc6a
parent3299a47e6bfb29938ceddb8e429d6d2105aabb04
model-checker : wait with timeout is always dependant with another transition
src/mc/mc_request.c