@收款{zbMATH07306414，作者={Nagar、Kartik和Mukherjee、Prasita和Jagannathan、Suresh}，标题={复制系统中并发库的语义、规范和有界验证}，BookTitle={计算机辅助验证。第32届国际会议，CAV 2020，洛杉矶，加利福尼亚州，美国，2020年7月21日至24日。诉讼程序。第一部分}，国际标准图书编号={978-3-030-53287-1；978-3-0.30-53288-8}，页码={251--274}，年份={2020年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-53288-8_13}，关键词={68N19，68M14，68Q55，68Q60}，zbMATH={7306414}，Zbl={1478.68045}}