_id,doi,title
4453,10.1007/978-3-642-02658-4_27,Sliding-window abstraction for infinite Markov chains