通信下推系统的一种有界可达算法

通信下推系统的一种有界可达算法

缪力,张大方

Bounded reaching algorithm for communicated pushdown systems

MIAO Li,ZHANG Da-fang

计算机工程与应用 . 2008, (24): 19 -21 . DOI: 10.3778/j.issn.1002-8331.2008.24.006