Publication Overview

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

Comparative Branching Time Semantics for Markov Chains

Published in: Proceedings of the 14th International Conference on Concurrency Theory (CONCUR'03)
Year: 2003
Volume: 2761
Pages: 492-508