Number of items: 4.
Kefalas, P. and Holcombe, M. and Eleftherakis, G. and Gheorge, M.
A Formal Method for the Development of Agent Based Systems.
Intelligent Agent Software Engineering.
Kefalas, P. and Eleftherakis, G. and Holcombe, M. and Stamatopoulou, I.
Formal Modelling of the Dynamic Behaviour of Biology-Inspired Agent-Based Systems.
In Molecular Computational Models: Unconventional Approaches.
Eleftherakis, G. and Kefalas, P. and Sotiriadou, A.
Formal Verification of Agent Models.
In: In Proceedings of the 2nd Hellenic Conference on AI, 2002.
Eleftherakis, G. and Kefalas, P.
Formal Verification of Reactive Agents for Intelligent Control.
In: 12 ISAP Intelligent System Applications to Power Systems Conference.
This list was generated on Mon Sep 10 16:43:31 BST 2007.