乔治·佩特卡;大岛村田 逻辑程序Petri网模型中的证明过程和答案提取。 (英语) Zbl 0665.68082号 IEEE传输。柔和。工程师。 209-217(1989)第2期第15页.MSC公司:68吨15 68问题85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Peterka}和\textit{T.Murata},IEEE Trans。柔和。Eng.15,编号02209-217(1989;Zbl 0665.68082) 全文: 内政部
大卫·M·尼科尔。 跨两个处理器的随机程序的最优分区。 (英语) 兹伯利0665.68016 IEEE传输。柔和。工程师。 15,第2期,134-141(1989).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Nicol},IEEE Trans。柔和。工程15,No.02,134--141(1989;Zbl 0665.68016) 全文: 内政部 链接
比平·德赛。 复合属性和连接索引的性能。 (英语) Zbl 0665.68012号 IEEE传输。柔和。工程师。 15,第2期,142-152(1989).MSC公司:68第05页 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{B.C.Desai},IEEE传输。柔和。工程15,No.02,142--152(1989;Zbl 0665.68012) 全文: 内政部
珍妮特·温格。;马克·尼克松。 用时序逻辑扩展Ina Jo。 (英语) Zbl 0665.68006号 IEEE传输。柔和。工程师。 第2期第15页,181-197(1989).MSC公司:第68季度第60季度 03B70号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Wing}和\textit{M.R.Nixon},IEEE Trans。柔和。工程15,No.02,181--197(1989;Zbl 0665.68006) 全文: 内政部 链接
弗里德里希·路德维希·鲍尔;伯恩哈德·莫勒;赫尔穆特·帕奇;彼得·佩珀 通过转换构建正式的程序——计算机辅助、直观引导的编程。 (英语) Zbl 0664.68017号 IEEE传输。柔和。工程师。 15,第2期,165-180(1989). 审核人:G.格里加斯 MSC公司:68号01 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{F.L.Bauer}等人,IEEE Trans。柔和。工程15,No.02,165--180(1989;Zbl 0664.68017) 全文: 内政部