Efficient verification of timed automata with BDD-like data structures.

Farn Wang Efficient verification of timed automata with BDD-like data structures. 77-97 2004 6 STTT 1 http://www.springerlink.com/index/10.1007/s10009-003-0135-4 db/journals/sttt/sttt6.html#Wang04