Publication Overview

J.-P. Katoen and D. Klink and M. Leucker and V. Wolf

Three-Valued Abstraction for Continuous-Time Markov Chains

Published in: Proceedings of the 19th International Conference on Computer Aided Verification (CAV'07)
Year: 2007
Volume: 4590
Pages: 316-329