Verifying Linear Duration Constraints of Timed Automata.

Pham Hong Thai, Dang Van Hung

Browse the full ICTAC paper archive.