@在集合{zbMATH01361487中，作者={海涅曼，伯恩哈德}，Title={命题线性时间时序逻辑的拓扑推广}，BookTitle={1997年计算机科学数学基础。1997年8月25日至29日，斯洛伐克布拉迪斯拉发，第22届国际研讨会，MFCS’97。诉讼}，国际标准图书编号={3-540-63437-1}，页码={289--297}，年份={1997}，出版商={柏林：施普林格}，语言={英语}，关键词={03B44,68Q60,03B42}，zbMATH={1361487}，Zbl={0943.03016}}