Title of article
Comparative branching-time semantics for Markov chains
Author/Authors
Christel Baier، نويسنده , , Joost-Pieter Katoen، نويسنده , , Holger Hermanns، نويسنده , , Verena Wolf، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
66
From page
149
To page
214
Keywords
Comparative semantics , (weak) Bisimulation , (weak) Simulation , Temporal Logic , Markov chain
Journal title
Information and Computation
Serial Year
2005
Journal title
Information and Computation
Record number
262298
Link To Document