Towards a Theory of Time-Bounded Verification. (ICALP (2), 2010)

(untitled) - Ouaknine, J; Worrell, J