Efficient Verification of Timed Automata with BDD-Like Data-Structures.

Farn Wang

Browse the full VMCAI paper archive.