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..
| File type icon | Filename | File size | File upload date |
|---|---|---|---|
| Previous | |||
| Eudoxos2.jnlp Jnlp, 760 bytes. | 760 bytes | 2024-12-09 10.15 | |
| Eudoxos2.jar Jar, 504.6 kB. | 504.6 kB | 2024-12-09 10.15 | |
