Title of article
Model checking for a probabilistic branching time logic with fairness
Author/Authors
Christel Baier ، نويسنده , , Marta Kwiatkowska، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1998
Pages
31
From page
125
To page
155
Keywords
Probabilistic processes – Temporal logic – Verification– Fairness
Journal title
DISTRIBUTED COMPUTING
Serial Year
1998
Journal title
DISTRIBUTED COMPUTING
Record number
297705
Link To Document