A New Modality for Almost Everywhere Properties in Timed Automata.

Houda Bel Mokadem, Batrice Brard, Patricia Bouyer, Franois Laroussinie

Browse the full CONCUR paper archive.