Model checking cooperation, knowledge, and time-a case study

Authors
Van der Hoek, Wiebe Wooldridge, Michael
Citation
Wiebe Van der Hoek et Michael Wooldridge, Model checking cooperation, knowledge, and time-a case study, Research in economics, 57(3), 2003, pp. 235-265
Journal title
Research in economics
ISSN journal
10909443 → ACNP
Volume
57
Issue
3
Year of publication
2003
Pages
235 - 265
Database
ESSPER
SICI code
1090-9443(2003)57:3<235:MCCKAT>2.0.ZU;2-Q