A CLP Proof Method for Timed Automata.

Joxan Jaffar, Andrew E. Santosa, Razvan Voicu

Browse the full RTSS paper archive.