Language:

An aproach for the verification of multi-agent systems by formally guided simulations

Location: IME-Inst. Mat. e Estatística
Call Number: PROD-3005665
Status: On Shelf
Barcode: 3005665-10
Item Type: RECURSO ELETRÔNICO
Item Status: PCD - não circula

Paulo Salem da Silva Ana Cristina Vieira de Melo; IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Workshops WI-IAT (2013 Atlanta, Georgia)

Proceedings Piscataway : IEEE, 2013

Available at IME - Inst. Matemática e Estatística (PROD-3005665 )(GetIt)

IME - Inst. Matemática e Estatística (PROD-3005665 ) Available

Location	Call Number	Description	Status	Barcode	Item Type	Request Options
IME-Inst. Mat. e Estatística	PROD-3005665		On Shelf	3005665-10	RECURSO ELETRÔNICO	Select Request Option: Click here to sign in
Location: IME-Inst. Mat. e Estatística Call Number: PROD-3005665 Status: On Shelf Barcode: 3005665-10 Item Type: RECURSO ELETRÔNICO Item Status: PCD - não circula

Back to results list

Previous Result 3 Next Go to Next page