@第{zbMATH05707085条，作者={巴拉里尼、保罗·格雷罗、玛丽亚·路易莎}，标题={基于查询的生化系统中定性趋势和振荡的验证}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积＝{411}，数字={20}，页码={2019--2036}，年份={2010}，语言={英语}，DOI={10.1016/j.tcs.2010.02.010}，关键词={68Q60,68U99}，zbMATH＝{5707085}，Zbl={1209.68310}}