Freely available research or teaching related files. For more detailed information on copyright and possible license conditions, please refer to the respective file.

Norm-regulated Transition System Situations

Java/Prolog implementation of Norm-regulated Transition System Situations. Download source code from the Bentham folder or from Sourceforge External link..

Files available for download
File type icon Filename File size File upload date
Eudoxos
Bentham