BibTex format
@inproceedings{Belardinelli:2015,
author = {Belardinelli, F and Grossi, D and Lomuscio, A},
pages = {854--860},
publisher = {AAAI Press},
title = {Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems},
year = {2015}
}