Ingo Felscher公司 通过模型组合进行LTL模型检查。 （英语） Zbl 1374.68283号 Finkel，Alain（编辑）等人，《可达性问题》。2012年9月17日至19日，法国波尔多RP 2012第六届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33511-2/pbk）。计算机科学课堂讲稿7550，42-53（2012）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \发短信给Lect。注释计算。科学。7550，42-53（2012；Zbl 1374.68283） 全文： 内政部
拉尔斯·库茨;伯恩德·芬克贝纳 具有过去和边界的线性时间时序逻辑的高效并行路径检查。 （英语） Zbl 1253.68221号 日志。方法计算。科学。 8，第4号，第10号文件，第24页（2012年）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Kuhtz}和\textit{B.Finkbeiner}，日志。方法计算。科学。8，第4号，第10号论文，24页（2012；Zbl 1253.68221） 全文： 内政部 arXiv公司