艾克拉斯·阿马尔;衙门埃尔图阿蒂;约翰·马林斯;Yeddes,莫兹 基于时间有界离散化语言的包含的时间有界验证。 (英语) Zbl 1458.68111号 发现的国际期刊。计算。科学。 32,第2期,175-202(2021).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Ammar}等人,国际法学研究所。计算。科学。32,第2号,175--202(2021;Zbl 1458.68111) 全文: 内政部
艾曼纽·菲利奥特;尼古拉斯·马佐奇;Jean-François拉斯金 带有输出的自动机的模式逻辑。 (英语) Zbl 1458.68097号 发现的国际期刊。计算。科学。 31,6号,711-748(2020).MSC公司:65年第68季度 03B70号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}等人,国际法学研究所。计算。科学。31,第6号,711--748(2020;Zbl 1458.68097) 全文: 内政部
西蒙·沃尔;马利克,罗比 使用抽象和规范自动机对广义非阻塞属性进行组合验证。 (英语) Zbl 1291.68270号 发现的国际期刊。计算。科学。 24,第8期,1183-1208(2013).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Ware}和\textit{R.Malik},国际期刊发现。计算。科学。24,编号8,1183-1208(2013年;兹bl 1291.68270) 全文: 内政部
盖奥尔吉,玛丽安;Păun,盖奥尔吉;佩雷兹·吉梅内斯(Pérez-Jiménez),马里奥·J·。;格列泽戈兹·罗森贝格 [A.阿尔哈佐夫。;伊万诺夫,S。;罗杰欣,Y。;Csuhaj-Varjü,E。;潘,L。;T·宋。;Krithivasan,K。;A.拉马努扬。;Vaszil,G。;A.莱波拉蒂。;G·莫里。;A.E.波雷卡。;C.赞德隆。;N.墨菲。;Riscos-Nüñez,A。;Rius-Font,M。;罗梅罗·吉梅内斯(Romero-Jiménez),阿拉斯加州。;卡瓦利埃,M。;瓦西里,C。;A.B.帕维尔。;Dumitrache,I。;F.伊帕特。;O.Agrigoroaiei。;阿曼,B。;乔巴努,G。;张,G。;V·曼卡。;Hinze,T。;F.J.罗梅罗·卡佩罗。;Obtulowicz,A。;Díaz-Pernil,D。;Gutiérrez-Naranjo,硕士。;García-Quismondo,M。;马西亚斯·拉莫斯,L.F。;Martínez-del-Amor,医学硕士。;佩雷兹·赫塔多,I。;瓦伦西亚-卡布雷拉。] 膜计算的研究前沿:开放问题和研究课题。 (英语) Zbl 1292.68065号 发现的国际期刊。计算。科学。 24,第5期,547-623(2013).MSC公司:2010年第68季度 68-02 2005年第68季度 65年第68季度 60年第68季度 2017年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gheorghe}等人,《国际法学杂志》发现。计算。科学。24,第5号,547--623(2013;Zbl 1292.68065) 全文: 内政部
劳伦·弗里堡;乌尔里希·库恩 使用逆方法对混合自动机进行参数验证和测试覆盖。 (英语) Zbl 1286.68314号 发现的国际期刊。计算。科学。 24,第2期,233-249(2013).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Fribourg}和\textit{U.Kühne},国际期刊发现。计算。科学。24,第2号,233--249(2013;Zbl 1286.68314) 全文: 内政部
克里希南德·查特吉;卢卡·德·阿尔法罗;鲁帕克·马朱姆达尔 覆盖的复杂性。 (英语) Zbl 1286.68310号 发现的国际期刊。计算。科学。 第2165-185号第24页(2013年).MSC公司:60年第68季度 68号30 65年第68季度 91A80 91A20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,国际期刊发现。计算。科学。24,第2号,165--185(2013;Zbl 1286.68310) 全文: 内政部
安吉洛·蒙塔纳里(编辑);马格丽塔·那不勒斯(编辑);帕伦特,米姆(编辑) 特刊:游戏、自动机、逻辑和形式验证(GandALF 2010)。根据2010年6月17日至18日在意大利米诺里举行的第一届研讨会上的陈述,选出了一些论文。 (英语) Zbl 1250.68042号 发现的国际期刊。计算。科学。23,第3期,555-711(2012)。 MSC公司:68-06 91-06 03-06 00B25型 60年第68季度 65年第68季度 91A05型 91年43月 91A24型 91A15型 03B80号 03B44号 03B45号 05年3月 PDF格式BibTeX公司 XML格式
于、方;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。 使用多轨迹自动机进行关系字符串验证。 (英语) Zbl 1234.68270号 发现的国际期刊。计算。科学。 1909-1924年第8期22号(2011).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Yu}等人,国际期刊发现。计算。科学。22,第8号,1909--1924(2011;Zbl 1234.68270) 全文: 内政部
Martínez-Del-Amor,医学硕士。;佩雷兹·赫塔多,I。;Pérez-Jiménez,M.J。;Riscos-Nüñez,A。;Sancho Caparrini,F。 多环境概率P系统的仿真算法:形式验证。 (英语) Zbl 1213.68383号 发现的国际期刊。计算。科学。 22,第1期,107-118(2011).MSC公司:60年第68季度 2005年第68季度 第92天25分 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Martínez-Del-Amor}等人,《国际期刊》发现。计算。科学。22,第1号,107--118(2011;Zbl 1213.68383) 全文: 内政部
弗朗索瓦·坎廷;Legay、Axel;皮埃尔·沃尔珀 通过自动机迭代计算凸包。 (英语) Zbl 1194.68134号 发现的国际期刊。计算。科学。 20,第4期,647-667(2009).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Cantin}等人,《国际发现杂志》。计算。科学。20,第4号,647--667(2009;Zbl 1194.68134) 全文: 内政部
阿尼尔·赛斯 二阶下推系统符号可达性分析中的一种替代结构。 (英语) Zbl 1155.68046号 发现的国际期刊。计算。科学。 19,第4期,983-998(2008).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Seth},找到国际期刊。计算。科学。19,第4号,983--998(2008;Zbl 1155.68046) 全文: 内政部
奥斯卡·H·伊巴拉。;当、哲;杨林敏 计数器、可达性问题和丢番图方程。 (英语) Zbl 1164.68013号 发现的国际期刊。计算。科学。 19,第4期,919-934(2008).MSC公司:65年第68季度 03B25号 05年3月 2005年11月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}等人,国际法学研究所。计算。科学。19,第4号,919--934(2008;Zbl 1164.68013) 全文: 内政部
贾努斯·布尔佐夫斯基;于尔根森,赫尔穆特 用标准词和等价物表示半自动机。二: 软件模块规范。 (英语) Zbl 1202.68221号 发现的国际期刊。计算。科学。 18,第5号,1065-1087(2007).MSC公司:65年第68季度 68号30 60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Brzozowski}和\textit{H.Jürgensen},国际期刊发现。计算。科学。18,第5号,1065--1087(2007;Zbl 1202.68221) 全文: 内政部
罗德里克·布洛姆;亚历山德罗·西马蒂;药丸,英戈;马可·罗维里 交替自动机的符号实现。 (英语) Zbl 1142.68418号 发现的国际期刊。计算。科学。 18,第4期,727-743(2007).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,国际法学研究所。计算。科学。18,第4号,727--743(2007;Zbl 1142.68418) 全文: 内政部
斯文·舍韦;伯恩德·芬克贝纳 半自动分布式合成。 (英语) Zbl 1112.68095号 发现的国际期刊。计算。科学。 18,第1期,113-138(2007).MSC公司:60年第68季度 03B44号 64岁以下 2017年第68季度 65年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Schewe}和\textit{B.Finkbeiner},国际发现杂志。计算。科学。18,第1号,113--138(2007;Zbl 1112.68095) 全文: 内政部
斯特凡·德姆里;诺瓦克,大卫 关于超限序列的推理。 (英语) Zbl 1109.68065号 发现的国际期刊。计算。科学。 18,第1号,87-112(2007).MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{D.Nowak},国际期刊发现。计算。科学。18,第1号,87--112(2007;Zbl 1109.68065) 全文: 内政部
于、方;王,弯腰 基于SAT的区域自动机模型检验。 (英语) Zbl 1098.68082号 发现的国际期刊。计算。科学。 17,第4期,775-795(2006).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Yu}和\textit{B.-Y.Wang},国际期刊发现。计算。科学。17,第4号,775--795(2006;Zbl 1098.68082) 全文: 内政部
Freddy Y.C.Mang。;何培欣 自动抽象求精的可控性和协作性分析。 (英语) Zbl 1096.68674号 发现的国际期刊。计算。科学。 17,第4763-74号(2006年).MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Y.C.Mang}和\textit{P.-H.Ho},国际期刊发现。计算。科学。17,第4号,763--774(2006;Zbl 1096.68674) 全文: 内政部
艾默生·E·艾伦;克里斯蒂娜·哈格。;杰伊·科涅茨卡。 分子模型检查。 (英语) Zbl 1096.68090号 发现的国际期刊。计算。科学。 17,第4期,733-741(2006).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson}等人,国际期刊发现。计算。科学。17,第4号,733--741(2006;Zbl 1096.68090) 全文: 内政部
王法恩 具有最大值、最小值和加法的数字的归纳合成。 (英语) Zbl 1136.68429号 发现的国际期刊。计算。科学。 15,第6期,865-892(2004).MSC公司:60年第68季度 2010年第68季度 2012年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Wang},国际期刊发现。计算。科学。15,第6号,865--892(2004;Zbl 1136.68429) 全文: 内政部
迪帕克·D’Souza 事件时钟自动机的逻辑特征。 (英语) Zbl 1101.68647号 发现的国际期刊。计算。科学。 14,第4期,625-639(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.D'Souza},国际法院发现。计算。科学。14,编号4625-639(2003年;兹bl 1101.68647) 全文: 内政部
当、哲;奥斯卡·H·伊巴拉。 传递混合线性关系(ω链)的存在性及其应用。 (英语) Zbl 1067.68090号 发现的国际期刊。计算。科学。 13,第6期,911-936(2002).MSC公司:60年第68季度 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Dang}和\textit{O.H.Ibarra},Int.J.Found。计算。科学。13,第6号,911--936(2002;Zbl 1067.68090) 全文: 内政部
尼尔斯·克拉伦德;安德斯·默勒;迈克尔·施瓦茨巴赫。 MONA实施秘密。 (英语) Zbl 1066.68079号 发现的国际期刊。计算。科学。 13,第4期,571-586(2002).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Klarlund}等人,《国际法学杂志》发现。计算。科学。13,第4号,571--586(2002;Zbl 1066.68079) 全文: 内政部
奥斯卡·H·伊巴拉。;特夫菲克·布尔坦;苏建文 无限状态系统中的可达性和安全性。 (英语) Zbl 1319.68084号 发现的国际期刊。计算。科学。 12,第6号,821-836(2001).MSC公司:2005年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}等人,国际法学研究所。计算。科学。12,第6号,821--836(2001;Zbl 1319.68084) 全文: 内政部