@InCollection｛zbMATH07306412，作者={Sahai、Shubham和Subramanyan、Pramod和Sinha、Rohit}，标题={使用迹枚举关系验证定量超属性}，BookTitle={计算机辅助验证。第32届国际会议，CAV 2020，洛杉矶，加利福尼亚州，美国，2020年7月21日至24日。诉讼程序。第一部分}，国际标准图书编号={978-3-030-53287-1；978-3-0.30-53288-8}，页码={201--224}，年份={2020年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-53288-8_11}，关键词={68M25,68Q60,94A60}，zbMATH={7306412}，Zbl={1478.68033}}