Model checking knowledge and time (2002)

by W v d Hoek, M andWooldridge
Venue:In 9th Workshop on SPIN (Model Checking Software