Stamina is an automaton and regular inference toolkit initially developped for the bas...
33 162 Téléchargements
Stamina-gui provides a web-based graphical interface for Stamina.
23 647 Téléchargements
October 16, 2012 7:18am
aucune