Publication Overview

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

Bisimulation and Simulation Relations for Markov Chains

Published in: Proceedings of the Workshop Essays on Algebraic Process Calculi (ACP'06)
Year: 2006
Volume: 162
Pages: 73-78