@会议记录{cimatti_et_al:OASIcs.SynCoP.2015.106,author={西马蒂、亚历山德罗和格里乔、阿尔贝托和莫弗、塞尔吉奥和托内塔、斯特凡诺},title={{用IC3}}进行参数合成,booktitle={第二届复杂参数合成国际研讨会(SynCoP'15)},页面={106-107},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-82-8},ISSN={2190-6807},年份={2015年},体积={44},editor={Andr\'{e},\'{E} 蒂安和Frehse,Goran},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SynCoP.2015.106},URN={URN:nbn:de:0030-drops-56144},doi={10.4230/OASIcs.SynCoP.2015.106},annote={关键词:参数综合,无限状态转移系统,可满足模理论,IC3}}