@收款{zbMATH07105979，作者={Cini，Clare和Francalanza，Adrian}，Title={用于运行时验证的{LTL}证明系统}，BookTitle={用于系统构建和分析的工具和算法。第21届国际会议，TACAS 2015，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11-18日。诉讼}，国际标准图书编号={978-3-662-46680-3；978-3-562-46681-0}，页码={581--595}，年份={2015年}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-662-46681-0_54}，关键词={68Q60,03B44}，zbMATH={7105979}，Zbl={1420.68121}}