DOI,IST REx ID,Title of publication
10.1007/978-3-540-78499-9_22,3875,Model-checking omega-regular properties of interval Markov chains