Ficha Bibliográfica del Artículo Autores: Laureano Cruces, Ana Lilia y Barceló Aspeitia, Axel Arturo Título: Formal verification of Multi-Agent Systems Behaviour Emerging from Cognitive Task Analysis Revista: Journal of Experimental & Theoretical Artificial Intelligence Volumen: 15(4) Año de publicación: 2003 Página inicial: 407 Página final: 431 Formato: Impreso Acceso: Texto Completo       Ficha PDF: Ir a formato PDF