//-->
Model checking cooperation, knowledge, and time - a case study
Hoek, Wiebe van der, (2003)
Program equilibrium: a program reasoning approach
Hoek, Wiebe van der, (2013)
Model checking cooperation, knowledge, and time-a case study
van der Hoek, Wiebe, (2003)