Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny. VerICS 2007 - a Model Checker for Knowledge and Real-Time. Fundamenta Informaticae, 85(1-4):313-328, 2008. [doi]
Abstract is missing.