加布里埃尔·帕弗里·丰塔纳 书评:A.Platzer,混合系统的逻辑分析。 (英语) Zbl 07809176号 正式Asp。计算。 34,第3-4期,第15号论文,第2页(2022年).MSC公司:00A17年 68T27型 68-01 93C83号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Paveri-Fontana},正式Asp。计算。34,第3-4号,第15号论文,第2页(2022;Zbl 07809176) 全文: 内政部
安德鲁·巴特菲尔德 书评:C.B.Jones,理解编程语言。 (英语) Zbl 07809175号 正式Asp。计算。 34,第3-4期,第16号论文,第2页(2022年).MSC公司:00A17年 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Butterfield},正式Asp。计算。34,第3-4号,第16号论文,第2页(2022;Zbl 07809175) 全文: 内政部
乔纳森·鲍文(Jonathan P.Bowen)。 书评:C.B.Jones(编辑)和J.Misra(编辑),编程理论。托尼·霍尔的生活和作品。 (英语) Zbl 07809174号 正式Asp。计算。 34,第3-4期,第14号论文,第3页(2022年).MSC公司:00A17年 68-06 01A70型 68-03 68号30 68问题55 68问题85 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Bowen},正式Asp。计算。34,第3-4号,第14号论文,第3页(2022;Zbl 07809174) 全文: 内政部
格雷格·迈克尔森 书评:F.Nielson和H.Riis Nielson,形式方法。开胃菜。 (英语) Zbl 1522.00084号 正式Asp。计算。 34,第2号,第12号论文,第2页(2022年).MSC公司:00A17年 68-01 68号30 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.迈克尔森},正式Asp。计算。34,第2号,第12号论文,第2页(2022年;Zbl 1522.00084) 全文: 内政部
莱因哈德·威廉 书评:P.Cousot,抽象解释原则。 (英语) Zbl 1522.00134号 正式Asp。计算。 34,第2号,第11号论文,第3页(2022年).MSC公司:00A17年 68-01 68号01 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Wilhelm},正式Asp。计算。34,第2号,第11号论文,第3页(2022年;Zbl 1522.00134) 全文: 内政部
布里杰什·多戈尔(编辑);埃琳娜·特鲁比西纳(编辑) iFM 2020特别部分介绍。 (英语) 兹比尔1522.68025 正式Asp。计算。 34,第1期,第1号论文,第1页(2022年).MSC公司:68-06 68新元 00亿Bxx PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol(编辑)和\textit{E.Troubitsyna}(编辑),正式Asp。计算。34,第1期,第1号论文,第1页(2022年;Zbl 1522.68025) 全文: 内政部
莱因哈德·威廉 书评:K.D.Lee,编程语言基础。 (英语) Zbl 1491.00035号 正式Asp。计算。 33,第6期,1279-1280(2021).MSC公司:00A17年 68-01 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Wilhelm},正式Asp。计算。33,第6号,1279--1280(2021;Zbl 1491.00035) 全文: 内政部
乔尔迪·卡博特(编辑);海克·卫尔海姆(编辑);埃尔克·博伊滕(编辑) 编辑。 (英语) Zbl 1522.68020号 正式Asp。计算。 33,编号61037(2021).MSC公司:68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Cabot}(编辑)等,《形式语法》。计算。33,编号61037(2021;Zbl 1522.68020) 全文: 内政部
沃尔夫冈·阿伦特(编辑);塔皮娅·塔里法(Tapia Tarifa)、西尔维娅·利泽斯(Silvia Lizeth)(编辑);海克·卫尔海姆(编辑) 编辑。 (英语) Zbl 1522.68012号 正式Asp。计算。 33,编号6827(2021).MSC公司:68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{W.Ahrendt}(编辑)等,《形式语法》。计算。33,编号6827(2021;Zbl 1522.68012) 全文: 内政部
安娜贝拉·麦克维尔(编辑);莫里斯·比克。(编辑) 编辑。 (英语) 兹比尔1519.68005 正式Asp。计算。 33,编号4-5,459-460(2021).MSC公司:68-06 68新元 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.McIver}(编辑)和\textit{M.H.ter-Beek}(主编),正式Asp。计算。33,编号4--5,459--460(2021;Zbl 1519.68005) 全文: 内政部
米歇尔·洛雷蒂 书评:D.Draheim,概率型lambda演算的语义。马尔可夫链语义、终止行为和指称语义。 (英语) 1510.00005兹罗提 正式Asp。计算。 33,第3期,457-458(2021年).MSC公司:00A17年 03-02 68-02 03B40型 68甲18 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Loreti},正式Asp。计算。33,编号3,457--458(2021;Zbl 1510.00005) 全文: 内政部
陈小平(编辑);刘志明(编辑);王,季(编辑);吉姆·伍德科克(编辑) 编辑。 (英语) Zbl 1519.68002号 正式Asp。计算。 33,编号3,299-300(2021).MSC公司:68-06 68T05型 68T07型 93C40型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}(编辑)等,《形式语法》。计算。33,编号3,299--300(2021;Zbl 1519.68002) 全文: 内政部
罗西,马蒂奥 书评:J.F.Groote和M.R.Mousavi,通信系统的建模和分析。 (英语) 1460.00021赞比亚比索 正式Asp。计算。 33,第2号,297-298(2021).MSC公司:00A17年 68-02 68M10个 68个M12 64岁以下 60年第68季度 68问题85 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{M.Rossi},正式Asp。计算。33,第2号,297--298(2021;Zbl 1460.00021) 全文: 内政部
埃里克·德文克(编辑);安娜·卡瓦尔坎蒂(编辑) 编辑。 (英语) Zbl 1458.68008号 正式Asp。计算。 33,第1期,第1-2期(2021年).MSC公司:68-06 68新元 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.de Vink}(编辑)和\textit{A.Cavalcanti}(主编),正式Asp。计算。33,编号1,1--2(2021;兹bl 1458.68008) 全文: 内政部
安娜·卡瓦尔坎蒂(编辑);佩德罗·里贝罗(编辑) 编辑。 (英语) Zbl 1458.68006号 正式Asp。计算。 32,编号2-3,155(2020).MSC公司:68-06 68T40型 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}(编辑)和\textit{P.Ribeiro}(主编),正式Asp。计算。32,编号2--3155(2020;Zbl 1458.68006) 全文: 内政部
亚历山大·纳普;马库斯·罗根巴赫 书评:A.Platzer,《网络物理系统的逻辑基础》。 (英语) Zbl 1451.00040号 正式Asp。计算。 32,第1期,149-151(2020).MSC公司:00A17年 93-01 03-01 03B70号 03B80号 68-01 60年第68季度 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{A.Knapp}和\textit{M.Roggenbach},正式Asp。计算。32,第1号,149--151(2020;Zbl 1451.00040) 全文: 内政部
乔纳森·鲍文(Jonathan P.Bowen)。 书评:G.O'Regan,形式方法简明指南:理论、基础和工业应用。 (英语) Zbl 1451.00026号 正式Asp。计算。 32,第1期,147-148(2020年).MSC公司:00A17年 68-01 03B70号 68号30 65年第68季度 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Bowen},正式Asp。计算。32,第1号,147--148(2020;Zbl 1451.00026) 全文: 内政部
克利夫·琼斯(编辑);何塞·奥利维拉(编辑) 编辑。 (英语) Zbl 1427.68013号 正式Asp。计算。 31,6号,661(2019).MSC公司:68-06 68-03 68季度xx 68伏15 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.Jones}(编辑)和\textit{J.Oliveira}(编辑),正式Asp。计算。31,第661号(2019年;兹bl 1427.68013) 全文: 内政部
格雷格·迈克尔森 书评:B.Steffen等人,《高级信息学的数学基础》。第1卷。归纳法。 (英语) 1427.00009兹罗提 正式Asp。计算。 31,第5号,641-642(2019).MSC公司:00A17年 68-01 00A06级 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.迈克尔森},正式Asp。计算。31,第5号,641--642(2019;Zbl 1427.00009) 全文: 内政部
亚历山德拉·拉索(编辑);安迪·舒尔(编辑);海克·卫尔海姆(编辑) 编辑。 (英语) Zbl 1425.68018号 正式Asp。计算。 31,第5期,457-458(2019).MSC公司:68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Russo}(编辑)等,《形式Asp》。计算。31,第5号,457--458(2019;Zbl 1425.68018) 全文: 内政部
伊戈尔·康诺夫 书评:E.M.Clarke(编辑)等,《模型检查手册》。 (英语) Zbl 1435.00030号 正式Asp。计算。 31,4号,455-456(2019).MSC公司:00A17年 68-00 68-06 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov},正式Asp。计算。31,第4号,455--456(2019;Zbl 1435.00030) 全文: 内政部
斯特凡妮娅·格内西(编辑);安娜·卡瓦尔坎蒂(编辑);约翰·菲茨杰拉德(编辑);Heitmeyer,康斯坦斯(编辑) 编辑。 (英语) 兹比尔1425.68011 正式Asp。计算。 第131-132号第31页(2019年).MSC公司:68-06 68新元 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Gnesi}(编辑)等,《形式语法》。计算。31,第2号,131--132(2019;Zbl 1425.68011) 全文: 内政部
马丁·范策尔(编辑);迪帕克·卡普尔(编辑);海克·卫尔海姆(编辑);詹乃军(编辑) 编辑。 (英语) Zbl 1425.68010号 正式Asp。计算。 31,第1、1号(2019年).MSC公司:68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}(编辑)等,《形式语法》。计算。31,第1、1号(2019年;Zbl 1425.68010) 全文: 内政部
罗莎玛丽·莫纳汉 书评:D.Kroening和O.Strichman,决策程序。算法观点。第2版。 (英语) Zbl 1417.00043号 正式Asp。计算。 30,第6号,759(2018).MSC公司:00A17年 68-01 68-02 68吨15 68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{R.Monahan},正式Asp。计算。30、6号、759(2018;Zbl 1417.00043) 全文: 内政部
尼古拉·比约纳(编辑);法兰克·德波尔(编辑);安德鲁·巴特菲尔德(编辑) 编辑。 (英语) Zbl 1395.68007号 正式Asp。计算。 30,第5期,493-494(2018).MSC公司:68-06 00B25型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Björner}(编辑)等,《形式语法》。计算。30,第5号,493--494(2018;Zbl 1395.68007) 全文: 内政部
丹尼·埃文(编辑);佩迪塔·史蒂文斯(编辑);安德烈·索夫斯基(编辑) 编辑。 (英语) 兹比尔1380.68008 正式Asp。计算。 第1、1号(2018)第30页.MSC公司:68-06 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Denney}(编辑)等,《正式评论》。计算。30,第1、1号(2018;Zbl 1380.68008) 全文: 内政部
李宣东(编辑);刘志明(编辑) 编辑。 (英语) Zbl 1372.00115号 正式Asp。计算。 29,第4期,581-582(2017).MSC公司:00B25型 68-06 68新元 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}(编辑)和\textit{Z.Liu}(主编),正式Asp。计算。29,第4号,581--582(2017;Zbl 1372.00115) 全文: 内政部
莫雷诺,法拉斯基(编辑);奥古斯托·桑帕约(编辑) 编辑。 (英语) Zbl 1362.00036号 正式Asp。计算。 29,第3期,381-382(2017).MSC公司:00B25型 68-06 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Falaschi}(编辑)和\textit{A.Sampaio}(主编),正式Asp。计算。29,第3号,381--382(2017;Zbl 1362.00036) 全文: 内政部
毛里齐奥·普罗埃蒂(编辑);西基、广岛(编辑);吉姆·伍德科克(编辑) 编辑。 (英语) Zbl 1355.00045号 正式Asp。计算。 29,第1期,第1-2期(2017年).MSC公司:00B25型 68-06 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Proietti}(编辑)等,《形式语法》。计算。29,编号1,1--2(2017;Zbl 1355.00045) 全文: 内政部
斯蒂芬·默兹(编辑);庞、军(编辑);董金松(编辑) 编辑。 (英语) Zbl 1345.00025号 正式Asp。计算。 28,第5期,723-724(2016).MSC公司:00B25型 68-06 60年第68季度 68问题85 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Merz}(编辑)等人,《形式语法》。计算。28,第5号,723--724(2016;Zbl 1345.00025) 全文: 内政部
马尔科·卡博尼(编辑);托马斯·希尔德布兰特(编辑);约阿希姆·帕罗(编辑);马蒂亚斯·威德利奇(编辑) 编辑。 (英语) 兹伯利1345.00016 正式Asp。计算。 第4号第28页,529-530页(2016年).MSC公司:00B25型 68-06 68英里11 64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Carbone}(编辑)等人,《形式语法》。计算。28,第4号,529--530(2016;Zbl 1345.00016) 全文: 内政部
迪米特拉·吉安娜科波卢(编辑);格温·萨拉恩(编辑);迈克尔·巴特勒(编辑) 编辑。 (英语) Zbl 1342.00021号 正式Asp。计算。 28,第2期,179-180(2016).MSC公司:00B25型 68-06 68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Giannakopoulou}(编辑)等,《形式语法》。计算。28,第2号,179--180(2016;Zbl 1342.00021) 全文: 内政部 哈尔
迈克尔·巴特勒(编辑);埃纳尔·布罗赫·约翰森(编辑);路易吉亚·皮特(编辑) 编辑。 (英语) Zbl 1319.00018号 正式Asp。计算。 27,第4期,611-612(2015).MSC公司:00B25型 68-06 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Butler}(编辑)等人,《正式评论》。计算。27,第4号,611--612(2015;Zbl 1319.00018) 全文: 内政部
乔纳森·鲍文(Jonathan P.Bowen)。(编辑);迈克尔·巴特勒(编辑);史蒂夫·里夫斯(编辑);Mike Hinchey先生(编辑) 编辑。 (英语) Zbl 1298.00236号 正式Asp。计算。 25,第3号,343(2013).MSC公司:00B25型 68-06 68新元 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Bowen}(编辑)等人,正式Asp。计算。25,第343号(2013年;兹bl 1298.00236) 全文: 内政部
约翰·库克(编辑) 特刊:部分论文是根据2006年2月在英国达勒姆郡举行的第一届统一编程理论研讨会UTP 2006上的演讲而选择的。 (英语) Zbl 1275.68014号 正式Asp。计算。25,第1期,89-158(2013)。 MSC公司:68-06 00B25型 68号30 60年第68季度 PDF格式BibTeX公司 XML格式
何塞·路易斯·费亚代罗(编辑);斯特凡妮娅·格内西(编辑);汤姆·迈鲍姆(编辑) 特刊:基于2010年9月13日至18日在意大利比萨举行的第八届IEEE软件工程和形式化方法国际会议上的陈述的扩展论文。 (英语) Zbl 1275.68019号 正式Asp。计算。24,第2期,161-302(2012)。 MSC公司:68-06 00B25型 68号30 PDF格式BibTeX公司 XML格式
埃尔克·博伊滕(编辑);约翰·德里克(编辑);董金松(编辑);史蒂夫·里夫斯(编辑) 特刊:第14期BCS-FACS精炼车间。2009年11月,荷兰埃因霍温,根据研讨会上的陈述选择论文。 (英语) Zbl 1243.68015号 正式Asp。计算。24,第1期,160页。(2012). MSC公司:68-06 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式
安娜·卡瓦尔坎蒂(编辑);亲爱的,丹尼斯(编辑);玛丽·克劳德·高德尔(编辑) 特别问题:正式方法。根据2009年11月2日至6日在荷兰埃因霍温举行的第16届正式方法国际研讨会(FM 2009)上的陈述,选择了一些论文。 (英语) Zbl 1243.68016号 正式Asp。计算。23,第6期,681-805(2011)。 MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式
丹尼尔·克罗宁(编辑);蒂齐亚娜·玛格丽亚(编辑);吉姆·伍德科克(编辑) 特刊:2008年VSTTE工具研讨会。根据2008年10月6日至9日在加拿大多伦多举行的“验证软件:理论、工具和实验”会议上的演示文稿选出的论文。 (英语) 兹比尔1243.68021 正式Asp。计算。23,编号5,585-679(2011年)。 MSC公司:68-06 60年第68季度 68号30 00B25型 PDF格式BibTeX公司 XML格式
伊贡博格尔(编辑);乔纳森·鲍文(Jonathan P.Bowen)。(编辑);迈克尔·巴特勒(编辑);迈克尔·波普尔顿(编辑) 特刊:2008年9月16日至18日在英国伦敦举行的第一届抽象状态机国际会议B和Z(ABZ 2008)上的演讲精选论文。 (英语) Zbl 1218.68009号 正式Asp。计算。23,第1期,150页。(2011). MSC公司:68-06 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式
回来了,拉尔夫·约翰 结构化推导:数学教学的统一证明方式。 (英语) Zbl 1217.03043号 正式Asp。计算。 22,第5期,629-661(2010).MSC公司:03财年03 00年3月35日 03B35型 97E40型 97E50型 PDF格式BibTeX公司 XML格式引用 \textit{R.-J.后退},正式Asp。计算。22,第5号,629--661(2010;Zbl 1217.03043) 全文: 内政部 哈尔
何塞·费亚德罗(编辑);保拉·因弗拉迪(编辑);汤姆·迈鲍姆(编辑) 特刊:2008年3月31日至4月2日在匈牙利布达佩斯举行的软件工程基本方法国际会议(FASE 2008),是欧洲软件理论与实践联合会议之一(ETAPS 2008)。根据会议上的陈述选择论文。 (英语) Zbl 1194.68028号 正式Asp。计算。22,No.3-4,215-484(2010)。 MSC公司:68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式
埃尔克·博伊滕(编辑);迈克尔·巴特勒(编辑);约翰·德里克(编辑);格雷姆·史密斯(编辑) 特刊:精炼。第十二届BCS-FACS精炼研讨会论文,英国牛津,2007年7月。 (英语) Zbl 1201.68001号 正式Asp。计算。22,第1期,1-81页(2010年)。 MSC公司:68-06 2010年第68季度 00B25型 PDF格式BibTeX公司 XML格式 全文: 链接
安东尼奥·塞隆(编辑);保罗·库松(编辑);大卫·公爵(编辑) 特刊:根据2007年9月4日在英国兰卡斯特举行的第二届交互系统形式化方法国际研讨会(FMIS 2007)上的演讲,选出论文。 (英语) Zbl 1198.68017号 正式Asp。计算。21,第6期,511-641(2009)。 MSC公司:68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式
理查德·佩奇(Richard F.Paige)。(编辑);菲利普·布鲁克。(编辑);董金松(编辑);吉姆·C·P·伍德科克。(编辑) 特刊:类埃菲尔语言的并发性和实时性。2006年7月,英国约克,研讨会论文。 (英语) Zbl 1201.68008号 正式Asp。计算。21,第4期,303-391(2009)。 MSC公司:68-06 68甲15 第68页第19页 00B25型 PDF格式BibTeX公司 XML格式 全文: 链接
特刊:VSTTE 2005。根据2006年11月在瑞士苏黎世举行的验证软件:理论、工具、实验(VSTTE)会议上的演示文稿,选出论文。 (英语) Zbl 1127.68301号 正式Asp。计算。19,第2期,137-273(2007)。 MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式
博伊滕,E。(编辑);J·德里克。(编辑);G.史密斯。(编辑) 集成形式化方法。根据2004年4月4日至7日在英国坎特伯雷举行的第四届综合正式方法会议上的陈述所选论文。 (英语) Zbl 1102.68304号 正式Asp。计算。17,第4期,389-484(2005)。 MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式
Michael Leuschel先生(编辑) 特刊:关键系统的自动验证(AVoCS)。根据2003年4月2日至3日在英国索斯汉普顿举行的国际研讨会上的介绍,选择并修订了论文。 (英语) 兹比尔1078.68518 正式Asp。计算。 17,第2期,91-257(2005).MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Leuschel}(编辑),正式版。计算。17,第2号,91--257(2005;Zbl 1078.68518) 全文: 内政部
克利夫·琼斯(编辑);迈克尔·汉森。(编辑) 特殊问题:基于研讨会持续时间演算:实时系统的逻辑方法演讲的论文选集,德国萨尔布吕肯,1998年8月。 (英语) Zbl 1090.68503号 正式Asp。计算。16,第2期,95-164(2004)。 MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式
Edsger W.Dijkstra。 EWD1300:我采用的符号惯例,以及原因。 (英语) Zbl 1029.68004号 正式Asp。计算。 14,第2期,99-107(2002).MSC公司:2007年7月68日 00年3月35日 PDF格式BibTeX公司 XML格式引用 \textit{E.W.Dijkstra},正式Asp。计算。14,第2号,99-107(2002;Zbl 1029.68004) 全文: 内政部
克利夫·琼斯(编辑) X机器上的特殊问题。 (英语) Zbl 0986.00015号 正式Asp。计算。 12,第6期,417-500(2000).MSC公司:00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{C.Jones}(编辑),正式Asp。计算。12,编号61417-500(2000;兹bl 0986.00015) 全文: 内政部
Jan Friso,格鲁特(编辑);巴斯·卢提克(编辑);乔斯·范瓦梅尔(编辑) 特刊:1998年在荷兰阿姆斯特丹CWI举行的第三届ERCIM工业关键系统正式方法研讨会(FMICS 98)的论文。 (英语) Zbl 0939.00035号 正式Asp。计算。 10,编号5-6,435-576(1998).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}(编辑)等,《形式语法》。计算。10,编号5--6,435--576(1998;Zbl 0939.00035) 全文: 内政部
斯特凡妮娅·格内西(编辑);迭戈·拉特拉(编辑) 工业关键系统的形式化方法。第二届国际研讨会论文集,1997年7月4日至5日,意大利切塞纳。 (英语) Zbl 0924.00043号 正式Asp。计算。 10,第4期,311-434(1998).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{S.Gnesi}(编辑)和\textit{D.Latella}(主编),正式Asp。计算。10,第4号,311--434(1998;Zbl 0924.00043) 全文: 内政部