VerICS 2007 - a Model Checker for Knowledge and Real-Time (2008)

by M Kacprzak, W Nabialek, A Niewiadomski, W Penczek, A Pólrola, M Szreter, B Wozna, A Zbrzezny
Venue:Fundamenta Informaticae