Timed Automata with Monotonic Activities.

Ruggero Lanotte, Andrea Maggiolo-Schettini

Browse the full MFCS paper archive.