@收款{zbMATH07306431，作者={Sankaranarayanan，Sriram}，标题={通过树分解传递消息进行可达性分析}，BookTitle={计算机辅助验证。第32届国际会议，CAV 2020，洛杉矶，加利福尼亚州，美国，2020年7月21日至24日。诉讼程序。第一部分}，国际标准图书编号={978-3-030-53287-1；978-3-0.30-53288-8}，页码={604--628}，年份={2020}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-53288-8_30}，关键词={68Q60,37B10,68R10,93B03}，zbMATH={7306431}，Zbl=｛1478.68173｝}