مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

Fair Simulation

Author/Authors :

Thomas A. Henzinger، نويسنده , , Orna Kupferman، نويسنده , , Sriram K. Rajamani، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

Keywords :

Verification , simulation , fairness.

Journal title :

Information and Computation

Serial Year :

2002

Journal title :

Information and Computation

Record number :

262032

Link To Document :