DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-662-49674-9_7,1234,"ToHe,CaGu",Faster statistical model checking for unbounded temporal properties