BibTex format
@inproceedings{Lomuscio:2015,
author = {Lomuscio, A and Murano, A},
pages = {2038--2044},
title = {Verifying and synthesising multi-agent systems against one-goal strategy logic specifications},
url = {http://hdl.handle.net/10044/1/26816},
year = {2015}
}