BibTex format
@article{Kouvaros:2013,
author = {Kouvaros, P and Lomuscio, A},
journal = {12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013},
pages = {861--868},
title = {Automatic verification of parameterised interleaved multi-agent systems},
volume = {2},
year = {2013}
}