@收款{zbMATH05664055，作者={Bollig，Beate}，标题={符号基于{OBDD}可达性分析需要指数空间}，BookTitle={SOFSEM 2010:计算机科学的理论与实践。第36届计算机科学理论与实践当前趋势会议{S} 针状物{\uu}v Ml\'yn，捷克共和国，2010年1月23日至29日。诉讼}，ISBN＝{978-3-642-11265-2}，页码={224--234}，年份={2010}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-11266-9_19}，关键词={68P05,68Q17,68Q25,68R10}，zbMATH={5664055}，Zbl={1274.68087}}