Formal verification of multi-agent systems behaviour...

Formal verification of multi-agent systems behaviour emerging from cognitive task analysis

Laureano-Cruces, Ana Lilia, Barceló-Aspeitia, Axel Arturo
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
15
Language:
english
Journal:
Journal of Experimental & Theoretical Artificial Intelligence
DOI:
10.1080/0952813031000119719
Date:
October, 2003
File:
PDF, 231 KB
english, 2003
Conversion to is in progress
Conversion to is failed