Title of article :
Probabilistic weak simulation is decidable in polynomial time
Author/Authors :
Christel Baier، نويسنده , , Holger Hermanns، نويسنده , , Joost-Pieter Katoen، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2004
Pages :
8
From page :
123
To page :
130
Keywords :
computational complexity , Markov chains , Performance evaluation , Simulation preorder , Algorithms
Journal title :
Information Processing Letters
Serial Year :
2004
Journal title :
Information Processing Letters
Record number :
129846
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=129846
بازگشت