Department Seminar Series
Specification and Verification of Epistemic Properties in MultiAgent Systems
11th November 2003, 16:00
Alessio Lomuscio
Department of Computer Science, Kings College, London, UK
Maintained by Othon Michail