Title of article
Model checking cooperation, knowledge, and time—a case study
Author/Authors
Wiebe van der Hoek، نويسنده , , Michael Wooldridge، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
31
From page
235
To page
265
Keywords
model checking , Epistemic logic , Alternating bit protocol
Journal title
Research in Economics
Serial Year
2003
Journal title
Research in Economics
Record number
231069
Link To Document