A Full Symbolic Reachability Analysis Algorithm of Timed Automata Based on BDD.

Huiping Zhang, Junwei Du, Ling Cao, Guixin Zhu

Browse the full ISADS paper archive.