Publication Overview

T. Henzinger and M. Mateescu and V. Wolf

Sliding Window Abstraction for Infinite Markov Chains

Published in: Proceedings of the 21st International Conference on Computer Aided Verification (CAV'09)
Year: 2009
Volume: 5643
Pages: 337-352