@杂项{zbMATH04081518，作者={巴林格，霍华德}，Title={时序逻辑在并发系统组合规范中的使用}，年份={1987}，语言={英语}，HowPublished={时间逻辑及其应用，53-90（1987）.}，关键词={03B70,68N01,68N25,03B45}，zbMATH={4081518}，Zbl={0662.03017}}