拉森,彼得·戈尔姆 对“储存爆炸物安全要求的正式规范”的回应。 (英语) Zbl 0822.68062号 正式Asp。计算。 6,第5期,565-568(1994).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Larsen},正式Asp。计算。6,第5号,565--568(1994;Zbl 0822.68062) 全文: 内政部
克里斯·托夫茨 具有概率、优先级和时间的流程。 (英语) Zbl 0820.68072号 正式Asp。计算。 6,第5期,536-564(1994).MSC公司:第68季度55 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tofts},正式Asp。计算。6,第5号,536--564(1994;Zbl 0820.68072) 全文: 内政部
汉斯,汉森;本特·琼森 推理时间和可靠性的逻辑。 (英语) Zbl 0820.68113号 正式Asp。计算。 6,第5期,512-535(1994).MSC公司:68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Hansson}和\textit{B.Jonson},正式Asp。计算。6,第5号,512--535(1994;Zbl 0820.68113) 全文: 内政部
普拉萨德·西斯特拉。 时间逻辑中的安全、生动和公平。 (英语) Zbl 0820.68077号 正式Asp。计算。 6,第5期,495-511(1994).MSC公司:60年第68季度 2010年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Prasad Sistla},正式Asp。计算。6,第5号,495--511(1994;Zbl 0820.68077) 全文: 内政部