ancailliau/KAOSFormalTools — pull request #8 by gagalago (2012-11-19 16:42:54+00:00)
Title: correction : modelChecker : agent

simple correction ;-)