Alur, R.; Itai, A.; Kurshan, R. P.; Yannakakis, M. Timing verification by successive approximation. (English) Zbl 0939.68705 Inf. Comput. 118, No. 1, 142-157 (1995). Cited in 11 Documents MSC: 68Q60 Specification and verification (program logics, model checking, etc.) 68Q05 Models of computation (Turing machines, etc.) (MSC2010) PDF BibTeX XML Cite \textit{R. Alur} et al., Inf. Comput. 118, No. 1, 142--157 (1995; Zbl 0939.68705) Full Text: DOI