@inproceedings{inproceedings8ed5b19f,
title   = {An aproach for the verification of multi-agent systems by formally guided simulations},
author = {Silva, Paulo Salem da and Melo, Ana Cristina Vieira de},
year = {2013},
doi = {10.1109/WI-IAT.2013.119},
publisher = {IEEE},
booktitle   = {IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Workshops WI-IAT}
}