![](/img/cover-not-exists.png)
Formal verification of multi-agent systems behaviour emerging from cognitive task analysis
Laureano-Cruces, Ana Lilia, Barceló-Aspeitia, Axel ArturoVolume:
15
Language:
english
Journal:
Journal of Experimental & Theoretical Artificial Intelligence
DOI:
10.1080/0952813031000119719
Date:
October, 2003
File:
PDF, 231 KB
english, 2003