Agent Dynamic Logic package
Description
Download
Installation
Usage
Input format
Examples
Downloads
Compiled package in jar-file can be downloaded
here
.
ANTLR
-2.7.1 runtime library can be downloaded
here
. Or go to the
ANTLR
-site.
There were 333394 visits of this page since Wed, 03 May 2006 20:57:56 BST.
Last modified: Sat, 17 Mar 2007 18:58:33 GMT.
Copyright ©2006
Dmitry Tishkovsky
,
School of Computer Science
,
The University of Manchester