@InCollection{zbMATH07306430，作者={陈、辛和彭、赵和林、王和杨、郑峰和张、一方和李宣东}，Title={一种解决屏障证书生成中{BMI}问题的新方法}，BookTitle={计算机辅助验证。第32届国际会议，CAV 2020，洛杉矶，加利福尼亚州，美国，2020年7月21日至24日。诉讼程序。第一部分}，国际标准图书编号={978-3-030-53287-1；978-3-0.30-53288-8}，页码={582--603}，年份={2020年}，出版商={Cham:Springer}，语言={英语}，DOI＝{10.1007/978-3-030-53288-8_29}，关键词={68Q60,15A45,90C22}，zbMATH={7306430}，Zbl={1478.68152}}