Modal Logics for Timed Control.

Patricia Bouyer, Franck Cassez, Franois Laroussinie

Browse the full CONCUR paper archive.