DOI,IST REx ID,Title of publication
10.1007/978-3-642-02658-4_27,4453,Sliding-window abstraction for infinite Markov chains