@techreport{2001-Hendriks-ModelAcceleration, author = "{Hendriks}, M. and {Larsen}, K.G.", title = "{Exact Acceleration of Real--Time Model Checking}", number = "CSI--R0122", month = "December", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "2001", code = "icis.CSI-R0122", research_group = "icis", class = "Report" }