Binary reachability analysis of discrete pushdown timed automata. (2000)

by Z Dang, O H Ibarra, T Bultan, R A Kemmerer, J Su
Venue:In CAV, LNCS 1855,