贝诺·德拉哈耶;Larsen,Kim G。;Legay、Axel 为抽象概率自动机而结结巴巴。 (英语) Zbl 1283.68193号 J.日志。阿尔盖布。程序。 83,第1期,第1-19页(2014年).MSC公司:65年第68季度 03B45号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,J.Log。阿尔盖布。程序。83,第1号,第1-19号(2014;Zbl 1283.68193) 全文: 内政部
迈克尔·凯特尔曼;肖恩·凯勒;何塞·梅塞盖尔 重写生产规则集的语义。 (英语) Zbl 1279.68188号 J.日志。阿尔盖布。程序。 81,编号7-8,929-956(2012).MSC公司:68问题55 2012年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Katelman}等人,J.Log。阿尔盖布。程序。81,编号7--8929--956(2012;Zbl 1279.68188) 全文: 内政部
弗朗西斯科·杜兰;何塞·梅塞盖尔 条件有序重写理论的Church-Rosser和相干性质。 (英语) 兹比尔1272.03139 J.日志。阿尔盖布。程序。 81,编号7-8,816-850(2012).MSC公司:03B70号 68甲18 第68页第19页 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}和\textit{J.Meseguer},J.Log。阿尔盖布。程序。81,编号7--8816--850(2012;Zbl 1272.03139) 全文: 内政部
马丁·奥列特,纳西索;米盖尔·帕洛米诺;阿尔贝托·维尔德乔 按主题重写逻辑书目:1990-2011。 (英语) Zbl 1262.03052号 J.日志。阿尔盖布。程序。 81,编号7-8,782-815(2012).MSC公司:03B70号 00A15年 2010年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Martí-Oliet}等人,J.Log。阿尔盖布。程序。81,编号7--8,782--815(2012;Zbl 1262.03052) 全文: 内政部
何塞·梅塞格尔 二十年的逻辑重写。 (英语) Zbl 1267.03043号 J.日志。阿尔盖布。程序。 81,编号7-8,721-781(2012). 审核人:约翰·乔治·格兰斯特罗姆(苏黎世) MSC公司:03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer},J.Log。阿尔盖布。程序。81,编号7--8,721--781(2012;Zbl 1267.03043) 全文: 内政部
鲁,齐;迈克尔·马德森;马丁·米拉塔;瑟伦·瑞文;乌里·法伦贝格;Larsen,Kim G。 基于max-plus代数的时间自动机可达性分析。 (英语) Zbl 1279.68214号 J.日志。阿尔盖布。程序。 81,第3号,298-313(2012).MSC公司:60年第68季度 65年第68季度 15A80型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{Q.Lu}等人,J.Log。阿尔盖布。程序。81,第3号,298--313(2012;Zbl 1279.68214) 全文: 内政部 哈尔
A.J.威伊斯。;M.Torabi Dashti 非穷举状态空间分析的扩展波束搜索。 (英语) Zbl 1269.68048号 J.日志。阿尔盖布。程序。 81,第1号,46-69(2012).MSC公司:68页第10页 68号30 60年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Wijs}和\textit{M.T.Dashti},J.Log。阿尔盖布。程序。81,第1号,46-69(2012;Zbl 1269.68048) 全文: 内政部
莫里斯·比克。;斯特凡妮娅·格内西;迭戈·拉泰拉;梅克·马西克;毛里齐奥·塞巴斯蒂安尼斯;詹卢卡·特伦塔尼 协助设计群件系统-模型检查智囊团的可用性方面。 (英语) Zbl 1183.68363号 J.日志。阿尔盖布。程序。 78,第4期,191-232(2009).MSC公司:60年第68季度 03B44号 68号30 2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人,J.Log。阿尔盖布。程序。78,第4号,191--232(2009;Zbl 1183.68363) 全文: 内政部
Robert M.Hierons。;梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯 从带有故障模型的随机定时系统进行测试。 (英语) Zbl 1161.68026号 J.日志。阿尔盖布。程序。 78,第2期,98-115(2009).MSC公司:65年第68季度 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Hierons}等人,J.Log。阿尔盖布。程序。78,第2号,98--115(2009;Zbl 1161.68026) 全文: 内政部
佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇;劳伦·维格纳龙 具有等式约束的树自动机模方程理论。 (英语) Zbl 1137.68035号 J.日志。阿尔盖布。程序。 75,第2期,182-208(2008).MSC公司:65年第68季度 03B25号 03B35型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{F.Jacquemard}等人,J.Log。阿尔盖布。程序。75,第2号,182--208(2008;Zbl 1137.68035) 全文: 内政部
伊斯梅尔·罗德里格斯;梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯 \(\mathcal{HOTL}\):假设和观察测试逻辑。 (英语) Zbl 1131.68064号 J.日志。阿尔盖布。程序。 74,第2号,57-93(2008).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Rodríguez}等人,J.Log。阿尔盖布。程序。74,第2号,57-93(2008;Zbl 1131.68064) 全文: 内政部
格雷塔·约什;亚历山大·拉比诺维奇;穆利·萨吉夫;安托万·梅耶;艾哈迈德·布瓦贾尼 链接数据结构中可访问模式的逻辑。 (英语) Zbl 1121.03040号 J.日志。阿尔盖布。程序。 73,编号1-2,111-142(2007). 审核人:亚历克斯·纳贝宾(莫斯科) MSC公司:03B70号 03B25号 68第05页 03B15号机组 05年3月 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Yorsh}等人,J.Log。阿尔盖布。程序。73,编号1--2,111-142(2007;Zbl 1121.03040) 全文: 内政部 arXiv公司
克里斯托夫·Löding;卡斯滕·卢茨;奥利维尔·塞雷 带有递归程序的命题动态逻辑。 (英语) Zbl 1123.03017号 J.日志。阿尔盖布。程序。 73,编号1-2,51-69(2007).MSC公司:03B70号 03B25号 60年第68季度 65年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \文本{C.Löding}等人,J.Log。阿尔盖布。程序。73,编号1--2,51-69(2007;Zbl 1123.03017) 全文: 内政部 哈尔
庞、军;Wan Fokkink公司;罗格·霍夫曼;罗纳德·维尔德马 模型检查Java DSM实现的缓存一致性协议。 (英语) Zbl 1106.68013号 J.日志。阿尔盖布。程序。 71,第1期,1-43页(2007年).MSC公司:68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Pang}等人,J.Log。阿尔盖布。程序。71,第1号,1-43(2007;Zbl 1106.68013) 全文: 内政部
梅克·马西克;迭戈·拉泰拉;斯特凡妮娅·格内西 在测试UML状态图时。 (英语) Zbl 1101.68014号 J.日志。阿尔盖布。程序。 69,第1-2、1-74号(2006).MSC公司:68甲15 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Massink}等人,J.Log。阿尔盖布。程序。69,编号1--2,1--74(2006;Zbl 1101.68014) 全文: 内政部
克莉丝汀,杂乱无章;吉安娜·雷吉奥 一种正式建立的软件规范方法。 (英语) Zbl 1088.68103号 J.日志。阿尔盖布。程序。 67,编号1-2,52-86(2006).MSC公司:60年第68季度 第68季度第65季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Choppy}和\textit{G.Reggio},J.Log。阿尔盖布。程序。67,编号1--2,52-86(2006;Zbl 1088.68103) 全文: 内政部
van Beek博士。;曼,K.L。;Reniers,医学硕士。;罗达,J.E。;R.R.H.希弗勒。 混合Chi的语法和一致方程语义。 (英语) Zbl 1088.68111号 J.日志。阿尔盖布。程序。 68,编号1-2,129-210(2006).MSC公司:60年第68季度 68问题55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.van Beek}等人,J.Log。阿尔盖布。程序。68,编号1-2129-210(2006年;兹bl 1088.68111) 全文: 内政部
拉杰夫·阿鲁尔;拉杜·格罗苏;李因苏普;奥列格·索科尔斯基 分层混合系统的组合建模和优化。 (英语) Zbl 1088.68098号 J.日志。阿尔盖布。程序。 68,编号1-2,105-128(2006).MSC公司:60年第68季度 68问题55 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,J.Log。阿尔盖布。程序。68,编号1--2,105-128(2006;Zbl 1088.68098) 全文: 内政部
C·马奇。;Paulin-Mohring,C。;X·乌尔班。 用于认证JML中注释的JAVA/JAVACARD程序的KRAKATOA工具。 (英语) Zbl 1073.68678号 J.日志。阿尔盖布。程序。 58,编号1-2,89-106(2004).MSC公司:60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Marché}等人,J.Log。阿尔盖布。程序。58,编号1--2,89-106(2004;Zbl 1073.68678) 全文: 内政部
赫德,乔 Miller-Rabin概率素性检验的验证。 (英语) Zbl 1048.68051号 J.日志。阿尔盖布。程序。 56,第1-2号,3-21(2003).MSC公司:第68季度第65季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Hurd},J.Log。阿尔盖布。程序。56,编号1--2,3--21(2003;Zbl 1048.68051) 全文: 内政部
托马斯·匈奴;朱迪·罗米恩;马里耶·斯托林加;Vaandrager,Frits公司 时间自动机的线性参数模型检验。 (英语) Zbl 1008.68069号 J.日志。阿尔盖布。程序。 52-53, 183-220 (2002).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Hune}等人,J.Log。阿尔盖布。程序。52-53183-220(2002年;Zbl 1008.68069) 全文: 内政部
斯特凡妮娅·格内西;迭戈·拉特拉;马辛克,米克 UML状态图内核的模块化语义及其对多图表和分支时间模型检查的扩展。 (英语) Zbl 1008.68074号 J.日志。阿尔盖布。程序。 51,第1期,第43-75页(2002年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gnesi}等人,J.Log。阿尔盖布。程序。51,第1号,43--75(2002;Zbl 1008.68074) 全文: 内政部