@收集{zbMATH07572969，作者={Jonsson，Bengt and Tsay，Yih-Kuen}，标题={线性时间时序逻辑中的假设/保证规范（扩展抽象）}，BookTitle={TAPSOFT’95：软件开发的理论与实践。第六届CAAP/FASE国际联合会议，丹麦奥胡斯，1995年5月。诉讼}，国际标准图书编号={3-540-59293-8}，页码={262--276}，年份＝{1995}，出版商={柏林：Springer-Verlag}，语言={英语}，DOI={10.1007/3-540-59293-8_200}，关键词={68Q60,03B44}，zbMATH={7572969}，Zbl=｛1496.68192｝}