@InCollection{zbMATH06418600，作者={Lampka，Kai}，Title={分区符号可达性分析的一种新算法}，BookTitle={计算模型可达性问题第二次研讨会论文集（RP 2008），英国利物浦，2008年9月15日至17日}，Pages＝{137-151}，年份={2008}，出版商={阿姆斯特丹：爱思唯尔}，语言={英语}，DOI={10.1016/j.entcs.2008.12.036}，关键词={68Q60,68P05,68R10,68W30}，zbMATH={6418600}，Zbl={1337.68167}}