On metric temporal logic and faulty turing machines (FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2006)

(untitled) - Ouaknine, J; Worrell, J