Publication Overview

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

Three-Valued Abstraction for Continuous-Time Markov Chains

Published in: CAV
Year: 2007
Pages: 311-324