Criteria for the Simple Path Property in Timed Automata.

William K. C. Lam, Robert K. Brayton

Browse the full CAV paper archive.