Publication Overview

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

Bisimulation and Simulation Relations for Markov Chains

Published in: Electr. Notes Theor. Comput. Sci.
Year: 2006
Volume: 162
Pages: 73-78