Sliding Window Abstraction for Infinite Markov Chains

From MaRDI portal
Publication:3636872

DOI10.1007/978-3-642-02658-4_27zbMath1242.60079OpenAlexW1535517661MaRDI QIDQ3636872

Maria Mateescu, Verena Wolf, Thomas A. Henzinger

Publication date: 30 June 2009

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02658-4_27




Related Items (17)




This page was built for publication: Sliding Window Abstraction for Infinite Markov Chains