On Expressiveness and Complexity in Real-Time Model Checking.

Patricia Bouyer, Nicolas Markey, Jol Ouaknine, James Worrell

Browse the full ICALP paper archive.