Model checking knowledge and time (2002)

by W v Hoek, M Wooldridge
Venue:In Proc. of SPIN02, LNCS 2318, 95–111