贾纳丹·米斯拉;苏曼·罗伊 基于可判定超时的线性时序逻辑扩展。 (英语) Zbl 1398.03081号 J.应用。非类别。日志。 24,第3期,262-291(2014).MSC公司:03B44号 03B47号 03B70号 60年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Misra}和\textit{S.Roy},J.Appl。非类别。日志。24,第3号,262--291(2014;Zbl 1398.03081) 全文: 内政部
罗宾·赫希 从点到间隔。 (英语) Zbl 0794.03094号 J.应用。非类别。日志。 第4期,第1期,第7-27页(1994年).MSC公司:03G15年 PDF格式BibTeX公司 XML格式引用 \textit{R.Hirsch},J.应用。非类别。日志。4,编号1,7--27(1994;Zbl 0794.03094) 全文: 内政部