TY  - THES
T1  - Implementación de chequeadores de modelos para MAS
A1  - Fournier, Gastón
A2  - Otonelo, Leonardo
A2  - Smith, Clara Patricia
LA  - Spanish
YR  - 2014
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dif.56202
OP  - 79
KW  - SISTEMAS MULTIAGENTES
KW  - AGENTES INTELIGENTES
KW  - LÓGICA MODAL
KW  - MODELOS
KW  - chequeador
ER  -