DOI,IST REx ID,Title of publication
10.1007/3-540-61604-7_73,4495,A space-efficient on-the-fly algorithm for real-time model checking