Verifying Timed Behavior Automata with Nonbinary Delay Constraints.

David K. Probst, Hon Fung Li

Browse the full CAV paper archive.