@文章{zbMATH07548211，作者={Dureja、Rohit和Rozier、Kristin Y.}，标题={通过可重用可达状态近似进行增量设计空间模型检查}，FJournal＝{系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={58}，数字={3}，页码={375--398}，年份={2021}，语言={英语}，DOI={10.1007/s10703-022-00389-5}，关键词={68Q60,68T20,90B20,93C95}，URL={lib.dr.iastate.edu/cgi/viewcontent.cgi？article=1181&context=aere_pubs}，zbMATH={7548211}，Zbl={1492.68085}}