
Publication Overview
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 |
Published in: | Proceedings of the 14th International Conference on Concurrency Theory (CONCUR'03) |
---|---|
Year: | 2003 |
Volume: | 2761 |
Pages: | 492-508 |