مرکز منطقه ای اطلاع رساني علوم و فناوري - Verification of probabilistic systems with faulty communication

Title of article :

Verification of probabilistic systems with faulty communication

Author/Authors :

P.A. Abdulla، نويسنده , , N. Bertrand، نويسنده , , A. Rabinovich، نويسنده , , Ph. Schnoebelen، نويسنده ,

Issue Information :

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

Pages :

From page :

141

To page :

165

Journal title :

Information and Computation

Serial Year :

2005

Journal title :

Information and Computation

Record number :

262313

Link To Document :