Bounded reaching algorithm for communicated pushdown systems
MIAO Li,ZHANG Da-fang
Computer Engineering and Applications . 2008, (24): 19 -21 .  DOI: 10.3778/j.issn.1002-8331.2008.24.006