BibTex format
@inproceedings{Lomuscio:2007:10.1145/1324215.1324231,
author = {Lomuscio, A and Penczek, W},
doi = {10.1145/1324215.1324231},
pages = {77--99},
publisher = {Association for Computing Machinery (ACM)},
title = {Symbolic model checking for temporal-epistemic logics},
url = {http://dx.doi.org/10.1145/1324215.1324231},
year = {2007}
}