Axel Arturo Barceló-Aspeitia

List of publications from the DBLP Bibliography Server - FAQ

2003

1 EE Ana Lilia Laureano-Cruces, Axel Arturo Barceló-Aspeitia: Formal verification of multi-agent systems behaviour emerging from cognitive task analysis. J. Exp. Theor. Artif. Intell. 15(4): 407-431 (2003)

2003
1	EE	Ana Lilia Laureano-Cruces, Axel Arturo Barceló-Aspeitia: Formal verification of multi-agent systems behaviour emerging from cognitive task analysis. J. Exp. Theor. Artif. Intell. 15(4): 407-431 (2003)

Coauthor Index