Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
[simgrid.git] / teshsuite / smpi / isp / umpire / README
1 ISP Test taken from <http://www.cs.utah.edu/formal_verification/ISP_Tests/>.