Publication
Detail
Publication date: 01/09/2008Speci?cation and Dynamic Veri?cation of Agent Properties
URL | http://centria.di.fct.unl.pt/~lmp/publications/online-papers/metareasoning.pdf |
---|---|
Publisher | Universitat Politècnica de Catalunya |
Address | http://www.csc.liv.ac.uk/%7Emichael/clima08.html |
URL | http://centria.di.fct.unl.pt/~lmp/publications/online-papers/metareasoning.pdf |
Publisher | Universitat Politècnica de Catalunya |
Address | http://www.csc.liv.ac.uk/%7Emichael/clima08.html |