詹姆斯·格雷（James W.III Gray）;保罗·F·西弗森。 概率系统多级安全的逻辑方法。 （英语） Zbl 1448.68190号 分布式计算。 11，No.2，73-90（1998）.MSC公司：68平方米25 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit｛J.W.Gray III｝和\textit｛P.F.Syverson｝，Distrib.Comput。11，第2号，73--90（1998；Zbl 1448.68190） 全文： 内政部 链接
Kohji富田;Igarashi、Shigeru;Chiharu Hosono公司;Tetsuya Mizutani;冢川、佐渡木 自治实时系统的表示。 （英语） Zbl 1021.93003号 坦索尔，新爵士。 59, 114-124 (1998). 审核人：库尔特·马蒂（纽比堡/慕尼黑） MSC公司：93A30型 93C83号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Tomita}等人，Tensor，New Ser。59114-124（1998年；Zbl 1021.93003）
M.K.瓦利耶夫。 时序逻辑在程序规范中的应用。 （英语。俄文原件） Zbl 0972.68110号 程序。计算。柔和。 24，第2期，47-51页（1998年）; 翻译自Programmirovanie 1998，No.2，3-9（1998）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.K.Valiev}，程序。计算。柔和。24，第2号，47-51（1998；Zbl 0972.68110）；译自Programmirovanie 1998，No.2，3--9（1998）
C·奥里亚特。 模块化规范研究。有限结肠炎图的构造，同构。二、。（模块化规范。大肠杆菌的精细结构、图表、同构。II。） （法语） Zbl 0958.18002号 图表 第40、71页（1998年）. 审核人：A.Maggiolo-Schettini（比萨） MSC公司：18 C50 68问题65 18A30型 18A10号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Oriat}，图表40，71 p.（1998；Zbl 0958.18002） 全文： 欧洲DML
奥利亚特，C。 模块化规范研究。有限结肠炎图的构造，同构。一、。（模块化规范。大肠杆菌的精细结构、图表、同构。I.） （法语） Zbl 0958.18001号 图表 39120页（1998年）. 审核人：A.Maggiolo-Schettini（比萨） MSC公司：18 C50 68问题65 18A30型 18A10号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Oriat}，图表39120 p.（1998；Zbl 0958.18001） 全文： 欧洲DML
T·艾特。;戈特洛布，G。;Y.古雷维奇。 字符串上的存在二阶逻辑。（扩展摘要）。 （英语） 兹比尔0945.03551 第十三届IEEE计算机科学逻辑年会。1998年6月21日至24日在美国印第安纳波利斯举行。加利福尼亚州洛斯阿拉米托斯：IEEE计算机协会。16-27 (1998).MSC公司：03C85号 03C13号机组 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人，in：第十三届IEEE计算机科学逻辑年会。1998年6月21日至24日在美国印第安纳波利斯举行。加利福尼亚州洛斯阿拉米托斯：IEEE计算机协会。16-27（1998年；Zbl 0945.03551）
彼得·尼伯特 用于指定和验证分布式行为的时序逻辑。 （英语） Zbl 0935.03027号 希尔德斯海姆大学，246页（1998年）。MSC公司：03B44号 68问题85 03B70号 65年第68季度 2005年第68季度 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Niebert}，分布式行为规范和验证的时序逻辑。希尔德斯海姆大学（1998；Zbl 0935.03027）
理查德·F·佩奇。 纯形式方法集成的异构符号。 （英语） Zbl 0934.68060号 正式Asp。计算。 10，第3期，233-242（1998年）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Paige}，正式Asp。计算。10，第3号，233--242（1998；Zbl 0934.68060） 全文： 内政部
A.西马蒂。;金奇利亚，F。;蒙加迪，G。;D.罗曼诺。;托里埃利，F。;特拉弗索，P。 使用模型检查对铁路联锁系统进行形式验证。 （英语） Zbl 1086.68556号 正式Asp。计算。 10，第4期，361-380页（1998年）.MSC公司：60年第68季度 68单位99 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，《形式语法》。计算。10，第4号，361--380（1998；Zbl 1086.68556） 全文： 内政部
保罗·波托尼;代价高昂，玛丽亚·弗朗西丝卡;斯特凡诺·莱瓦尔迪;皮耶罗·穆西奥 作为交互手段的视觉语言规范。 （英语） Zbl 0933.68080号 Marriott，Kim（编辑）等人，《视觉语言理论》。柏林：斯普林格。353-375 (1998).MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛P.Bottoni｝等人，《视觉语言理论》。柏林：斯普林格。353--375（1998年；Zbl 0933.68080）
马克·安德烈;恩格斯，格雷戈尔;Rekers，Jan（简·雷克斯） 如何表示可视化规范。 （英语） Zbl 0933.68091号 Marriott，Kim（编辑）等人，《视觉语言理论》。柏林：斯普林格。245-259 (1998).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Andries}等人，《视觉语言理论》。柏林：斯普林格。245--259（1998年；Zbl 0933.68091）
吉莉安·希尔 正式规范。 （英语） Zbl 0922.68085号 鲁道夫·阿尔布雷希特（编辑），《系统：理论与实践》。维恩：施普林格。计算机科学进展。13-32（1998年）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Hill}，in：系统：理论与实践。维恩：施普林格。13-32（1998年；Zbl 0922.68085）
David M.Russinoff。 AMD-K7（^{TM}）处理器的浮点乘法、除法和平方根算法符合IEEE的机械检查证明。 （英语） Zbl 0910.68008号 LMS J.计算。数学。 1，148-200，+附录A，B（1998年）.MSC公司：2007年7月68日 68单位99 65岁99岁 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Russinoff}，LMS J.计算。数学。1148--200，+附录A、B（1998；Zbl 0910.68008） 全文： 内政部 链接
斯坦·布德科夫斯基（编辑）;安娜·卡瓦利（编辑）;伊利·纳伊姆（编辑） 形式化描述技术和协议规范、测试和验证。XI/PSTV XVIII’98第十一堡。IFIP TC6 WG6。分布式系统和通信协议形式描述技术（FORTE XI）和协议规范、测试和验证（PSTV XVIII）联合国际会议，1998年11月3日至6日，法国巴黎。 （英语） Zbl 0905.68004号 国际信息处理联合会. 6. 波士顿：Kluwer学术出版社。viii，467页（1998年）。MSC公司：68M10个 00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{S.Budkowski}（ed.）等人，形式描述技术和协议规范，测试和验证。XI/PSTV XVIII’98第十一堡。IFIP TC6 WG6。分布式系统和通信协议形式描述技术（FORTE XI）和协议规范、测试和验证（PSTV XVIII）联合国际会议，1998年11月3日至6日，法国巴黎。波士顿：Kluwer学术出版社（1998；Zbl 0905.68004）
乔治·帕帕斯。;Shankar Sastry公司 矫直矩形差分夹杂物。 （英语） Zbl 0909.93036号 系统。控制信函。 35，第2期，79-85（1998年）.MSC公司：93立方 34A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.J.Pappas}和\textit{S.Sastry}，系统。控制信函。35，第2号，79--85（1998；Zbl 0909.93036） 全文： 内政部
凯文·拉诺 反应式和实时系统的逻辑规范。 （英语） Zbl 0913.03028号 J.日志。计算。 8，第5号，679-711（1998）.MSC公司：03B45号 2005年第68季度 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Lano}，J.Log。计算。8，编号5，679-711（1998年；Zbl 0913.03028） 全文： 内政部
奥尔纳·库普弗曼;罗伯特·P·库尔珊（Robert P.Kurshan）。;米哈利斯·亚纳卡基斯 存在还原层次结构。 （英语） 兹伯利0909.68119 尼尔森，莫根斯（编辑）等人，《计算机科学逻辑》。第11届国际研讨会，CSL’97。EACSL年会，丹麦奥胡斯，1997年8月23日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1414, 327-340 (1998).MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人，Lect。注释计算。科学。1414327--340（1998年；Zbl 0909.68119）
尼尔斯·克拉伦德 Mona Fido：实际中的逻辑自动机连接。 （英语） Zbl 0916.68099号 尼尔森，莫根斯（编辑）等人，《计算机科学逻辑》。第11届国际研讨会，CSL’97。EACSL年会，丹麦奥胡斯，1997年8月23日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1414, 311-326 (1998). 审核人：M.Steinby（图尔库） MSC公司：60年第68季度 05年3月 65年第68季度 03B25号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{N.Klarlund}，莱克特。注释计算。科学。1414311--326（1998年；Zbl 0916.68099）
阿卜杜勒瓦赫布·阿亚里;戴维·巴恩斯;安德烈亚斯·波德尔斯基 LISA：基于WS2S的规范语言。 （英语） Zbl 0908.03036号 尼尔森，莫根斯（编辑）等人，《计算机科学逻辑》。第11届国际研讨会，CSL’97。EACSL年会，丹麦奥胡斯，1997年8月23日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1414, 18-34 (1998).MSC公司：03B70号 60年第68季度 05年3月 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ayari}等人，Lect。注释计算。科学。1414，18-34（1998；Zbl 0908.03036）
雷切尔·卡德尔·奥利弗 实时并发程序的操作语义和时间语义的等价定理。 （英语） Zbl 0904.68131号 J.日志。计算。 8，第4期，545-567（1998）.MSC公司：68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Cardell-Oliver}，J.Log（罗杰·洛格）。计算。8，第4号，545--567（1998；Zbl 0904.68131） 全文： 内政部
法比奥·马萨奇 多智能体分布式系统形式化验证的表方法。 （英语） Zbl 0904.68133号 J.日志。计算。 8，第3期，373-400（1998年）.MSC公司：60年第68季度 68M10个 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Massacci}，J.Log。计算。8，第3号，373--400（1998；Zbl 0904.68133） 全文： 内政部
马克·D’Inverno;幸运，迈克尔 Engineering AgentSpeak（L）：一个正式的计算模型。 （英语） Zbl 0904.68060号 J.日志。计算。 8，第3期，233-260（1998年）.MSC公司：68N99型 60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.D'Inverno}和\textit{M.Luck}，J.Log。计算。8，第3号，233--260（1998；Zbl 0904.68060） 全文： 内政部 链接
黄世玉;郑光廷 形式等价性检查和设计调试。 （英语） Zbl 0911.68009号 电子测试的前沿。12.波士顿：Kluwer学术出版社。xviii，229 p.迪福245.00；$106.50; 72.50英镑（1998年）。 审核人：R.Kolla（萨尔布吕肯） MSC公司：68米15 68-01 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{S.-Y.Huang}和\textit{K.-T.Cheng}，形式等价性检查和设计调试。波士顿：Kluwer学术出版社（1998；Zbl 0911.68009）
迪特尔·芬塞尔;瑞克斯·格伦布姆;德拉瓦莱特，G.R.雷纳德 模态变换逻辑（MCL）：指定基于知识的系统的推理。 （英语） Zbl 0905.68090号 数据知识。工程师。 26，第3期，243-269（1998年）.MSC公司：60年第68季度 68T27型 68立方英尺 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛D.Fensel｝等人，数据知识。工程26，No.3，243--269（1998；Zbl 0905.68090） 全文： 内政部
托马斯·博齐斯科夫斯基 结构化规范逻辑系统的完整性。 （英语） Zbl 0901.03028号 Parisi Presicce，Francesco（编辑），代数开发技术的最新趋势。1997年6月3日至7日，第12届国际研讨会，WADT’97，意大利塔基尼亚。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1376, 107-121 (1998).MSC公司：03B70号 68问题65 60年第68季度 03C95号 PDF格式BibTeX公司 XML格式引用 \textit{T.Borzyszkowski}，莱克特。注释计算。科学。1376107-121（1998；Zbl 0901.03028）
约翰·库克 构建正确的软件。基础知识。 （英语） Zbl 0903.68121号 计算和信息技术的形式化方法（FACIT）。柏林：斯普林格。xiv，402 p.（1998）。 审核人：M.Gheorghe（布库雷什蒂） MSC公司：60年第68季度 68-01 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Cooke}，构建正确的软件。基础知识。柏林：施普林格（1998；Zbl 0903.68121）
胡安·比卡雷奎。（编辑） VDM证明。案例研究。 （英语） Zbl 0897.68064号 计算和信息技术的形式化方法（FACIT）。柏林：斯普林格。xiv，226页（1998年）。 审核人：M.Gheorghe（布库雷什蒂） MSC公司：60年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Bicarregui}（编辑），VDM中的证明。案例研究。柏林：施普林格出版社（1998；Zbl 0897.68064）