Three-Valued Abstraction for Continuous-Time Markov Chains.

Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf

Browse the full CAV paper archive.