Sampled Universality of Timed Automata.

Parosh Aziz Abdulla, Pavel Krcl, Wang Yi

Browse the full FOSSACS paper archive.