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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=297705
