Detail

Publication date: 01/09/2008

Speci?cation and Dynamic Veri?cation of Agent Properties

Authors

S. Costantini, Pierangelo Dell'Acqua, Luís Moniz Pereira, P. Tsintza,

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