A Proof System for Timed Automata.

Huimin Lin, Wang Yi

Browse the full FOSSACS paper archive.