作 者:Parosh A. Abdulla ;Noomene B. Henda ;Richard M. Mayr
出 处:Logical Methods in Computer Science. 2007 ;3(04).doi:10.2168/LMCS-3(4:7)2007
出 版 社:Technical University of Braunschweig
文 章 ID:46838674