Publication Overview

C. Baier and J.-P. Katoen and H. Hermanns and V. Wolf

Comparative branching-time semantics for Markov chains

Published in: Inf. Comput.
Year: 2005
Volume: 200
Pages: 149-214