@收款{zbMATH06676191，作者={Browne，I.A.和Manna，Z.和Sipma，H.B.}，标题={广义时序验证图}，BookTitle={软件技术和理论计算机科学基础。第15届会议，印度班加罗尔，1995年12月18-20日。诉讼}，国际标准图书编号={3-540-60692-0}，页码={484--498}，年份={1995}，出版商={柏林：Springer-Verlag}，语言={英语}，DOI={10.1007/3-540-60692-0_69}，关键词={68Q60,03B44}，zbMATH={6676191}，Zbl={1354.68171}}