Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Tese de Doutorado
|
Verification of behaviourist multi-agent systems by means of formally guided simulationsSilva, Paulo Salem DaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2011-11-28Acesso online |