مرکز منطقه ای اطلاع رساني علوم و فناوري - Model checking cooperation, knowledge, and time

Title of article :

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

Author/Authors :

Wiebe van der Hoek، نويسنده , , Michael Wooldridge، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2003

Pages :

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 :