مرکز منطقه ای اطلاع رساني علوم و فناوري - On the verification of qualitative properties of probabilistic processes under fairness constraints

Title of article :

On the verification of qualitative properties of probabilistic processes under fairness constraints

Author/Authors :

Christel Baier، نويسنده , , Marta Kwiatkowsk، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 1998

Pages :

From page :

To page :

Keywords :

Probabilistic processes , Verification: Fairness

Journal title :

Information Processing Letters

Serial Year :

1998

Journal title :

Information Processing Letters

Record number :

128871

Link To Document :