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
25
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