BibTex format
@inproceedings{Lomuscio:2014,
author = {Lomuscio, AR},
pages = {428--437},
publisher = {AAAI Press},
title = {An abstraction technique for the verification of multi-agent systems against ATL specifications},
url = {http://www.aaai.org/Press/Proceedings/kr14.php},
year = {2014}
}