Verification of behaviourist multi-agent systems by means of formally guided simulations
Silva, Paulo Salem Da
Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2011-11-28
Online access
Home Page
RSS
Feed
Policies
Contact Us
Social Network Logos: 