Publication Overview

T. A. Henzinger and M. Mateescu and V. Wolf

Sliding Window Abstraction for Infinite Markov Chains

Published in: CAV
Year: 2009
Pages: 337-352