Alessio Lomuscio, Wojciech Penczek, Bozena Wozna. Bounded model checking for knowledge and real time. Artificial Intelligence, 171(16-17):1011-1038, 2007. [doi]
@article{LomuscioPW07,
title = {Bounded model checking for knowledge and real time},
author = {Alessio Lomuscio and Wojciech Penczek and Bozena Wozna},
year = {2007},
doi = {10.1016/j.artint.2007.05.005},
url = {http://dx.doi.org/10.1016/j.artint.2007.05.005},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/LomuscioPW07},
cites = {0},
citedby = {0},
journal = {Artificial Intelligence},
volume = {171},
number = {16-17},
pages = {1011-1038},
}