@inproceedings{inproceedingse82df856,
title   = {A formal environment model for multi-agent systems},
author = {Silva, Paulo Salem da and Melo, Ana Cristina Vieira de},
year = {2010},
doi = {10.1007/978-3-642-19829-8_5},
publisher = {Springer},
booktitle   = {Brazilian Symposium on Formal Methods: Foundatons and applications - SBMF}
}