@收款{zbMATH05069302，作者={加斯丁、保罗和库斯克、迪特里希}，Title={Mazurkiewicz}迹}上局部时序逻辑的一致可满足性问题，BookTitle={CONCUR 2005——并发理论。第16届国际会议，CONCUR，2005年，美国加利福尼亚州旧金山，2005年8月23日至26日。会议记录。}，国际标准图书编号={3-540-28309-9}，页码={533--547}，年份={2005}，出版商＝{柏林：施普林格}，语言={英语}，DOI={10.1007/11539452}，关键词={68Q85,03B44,68Q25}，zbMATH={5069302}，Zbl={1134.68436}}