![](/img/cover-not-exists.png)
Finite horizon analysis of Markov Chains with the Murϕ verifier
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini ZilliVolume:
8
Language:
english
Pages:
13
DOI:
10.1007/s10009-005-0216-7
Date:
August, 2006
File:
PDF, 599 KB
english, 2006