Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : DPOR (independant transitions) algorithm for liveness properties
[simgrid.git] / AUTHORS
2009-04-28 mquinsonRELEASING VERSION 3.3
2006-03-30 mquinsoncosmetics
2005-01-26 alegrandchanging the adress
2004-01-27 mquinsonInitial revision