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