大卫·卡萨斯;米哈伊尔·沃尔科夫五世。 二进制完全可达自动机。 （英语） Zbl 07719354号 Castañeda，Armando（编辑）等人，《拉丁2022：理论信息学》。第十五届拉丁美洲研讨会，墨西哥瓜纳华托，2022年11月7-11日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13568, 345-358 (2022).MSC公司：68季度xx 68卢比 68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{D.Casas}和\textit{M.V.Volkov}，莱克特。票据计算。科学。13568、345--358（2022；Zbl 07719354） 全文： 内政部 arXiv公司
塞尔吉·博戈莫洛夫;前言，马塞洛;戈兰·弗雷斯;安德烈亚斯·波德尔斯基;克里斯蒂安·席林 用低维集合和高维矩阵分解可达集合计算（扩展版）。 （英语） Zbl 07629131号 Inf.计算。 289，A部分，文章ID 104937，24 p.（2022）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人，《信息计算》。289，A部分，文章ID 104937，24 p.（2022；Zbl 07629131） 全文： 内政部
弗拉基米尔·辛亚科夫;安托万·吉拉德 根据离散时间混合自动机给出的规范进行形式化控制器综合。 （英语） Zbl 1478.93189号 Automatica公司 131，文章ID 109768，9 p.（2021）.MSC公司：93亿B50 93C55美元 93立方 65年第68季度 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{V.Sinyakov}和\textit{A.Girard}，Automatica 131，文章ID 109768，9 p.（2021；Zbl 1478.93189） 全文： 内政部 哈尔
洛伦佐·克莱门特;Sławomir拉索塔 定时下推自动机的可达性关系。 （英语） Zbl 1484.68079号 J.计算。系统。科学。 117, 202-241 (2021). 审核人：罗杰·维尔梅尔（蒙特勒） MSC公司：65年第68季度 03B70号 05年3月 30楼03号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Clemente}和\textit{S.Lasota}，J.Compute。系统。科学。117202-241（2021；Zbl 1484.68079） 全文： 内政部 arXiv公司
洛伦佐·克莱门特;斯拉沃米尔·拉索塔 通过量词消去和循环序原子实现定时下推自动机的二进制可达性。 （英语） Zbl 1499.68169号 Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。2018年7月9日至13日，捷克共和国布拉格，ICALP 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107，第118条，第14页（2018年）。MSC公司：65年第68季度 03C10号机组 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit｛L.Clemente｝和\textit｛S.Lasota｝，LIPIcs——莱布尼茨国际期刊。通知。107，第118条，第14页（2018；Zbl 1499.68169） 全文： 内政部 arXiv公司
塞尔吉·博戈莫洛夫;马塞洛·福雷茨;戈兰·弗雷斯;弗雷德里克·维里;安德烈亚斯·波德尔斯基;克里斯蒂安·席林 通过低维集和高维矩阵的分解达到集近似。 （英语） Zbl 1417.93059号 第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。41-50 (2018).MSC公司：93个B03 93二氧化碳 93B40码 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人，in：第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。41-50（2018；Zbl 1417.93059） 全文： 内政部 arXiv公司
K.萨特纳。 迭代换能器。 （英语） Zbl 1341.68126号 芬丹。通知。 138，编号1-2，259-272（2015）. 审核人：安德烈亚斯·马莱蒂（斯图加特） MSC公司：70年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Sutner}，芬丹。通知。138，编号1--2，259--272（2015；Zbl 1341.68126） 全文： 内政部
亚历山大·马尔尼奇;波托尼克，普里莫季;诺伯特·塞夫特;什帕尔，普里莫日 可达关系、传递有向图和群。 （英语） Zbl 1317.05073号 阿尔斯数学。康斯坦普。 8，第1期，83-94（2015）.MSC公司：05C20号 05C25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Malnič}等人，《数学与艺术》。康斯坦普。8，第1号，83-94（2015年；兹bl 1317.05073） 全文： 内政部
凯文·格拉斯（Kevin A.Grasse）。;何南希 线性和非线性控制系统的仿真关系和可控性。 （英语） Zbl 1316.93021号 SIAM J.控制优化。 53，第3期，1346-1374（2015）.MSC公司：93个B05 93二氧化碳 93立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Grasse}和\textit{N.Ho}，SIAM J.控制优化。53，第3号，1346--1374（2015；Zbl 1316.93021） 全文： 内政部
雷米发动机盖;阿兰·芬克尔;杰罗姆·勒鲁;马克·泽顿 用一个零测试对矢量加法系统进行模型检验。 （英语） Zbl 1242.68196号 日志。计算方法。科学。 8，第2号，第11号论文，25页（2012年）.MSC公司：68卢比99 2005年第68季度 03D99号 PDF格式BibTeX公司 XML格式引用 \textit{R.Bonnet}等人，日志。计算方法。科学。8，第2号，第11号论文，25页（2012；Zbl 1242.68196） 全文： 内政部 arXiv公司
Mikołaj博扬奇克;克莱尔·大卫;安卡·穆斯科尔;托马斯·施文蒂克;卢克·塞古芬 数据字上的双变量逻辑。 （英语） Zbl 1352.03041号 ACM事务处理。计算。日志。 第12号第4条第27条第26页（2011年）.MSC公司：03B70号 03B25号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojaáczyk}等人，《美国医学杂志》。计算。日志。12，第4号，第27条，第26页（2011年；Zbl 1352.03041） 全文： 内政部
亚历山大·弗朗克;布列塔·凯登 用关系代数方法分析Petri网的状态空间。 （英语） Zbl 1156.68040号 J.塞姆。计算。 44，第1期，15-47页（2009年）.MSC公司：68问题85 第68季度第60季度 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{A.Fronk}和\textit{B.Kehden}，J.Symb。计算。44，编号1，15--47（2009；Zbl 1156.68040） 全文： 内政部
亚历山大·马尔尼奇;德拉甘·马鲁西奇;诺伯特·塞夫特;什帕尔，普里莫日;鲍里斯·兹格拉布利奇 有向图中的可达关系。 （英语） Zbl 1152.05032号 Eur.J.库姆。 29，第7期，1566-1581（2008）. 审核人：Wai-Kai Chen（弗里蒙特） MSC公司：05C20号 05C38号 PDF格式BibTeX公司 XML格式引用 \textit{A.Malnič}等人，《欧洲法学杂志》Comb。29，第7号，1566--1581（2008；Zbl 1152.05032） 全文： 内政部
安托万·吉拉德;A.Agung朱利叶斯;乔治·帕帕斯。 混合系统的近似仿真关系。 （英语） Zbl 1395.93113号 离散事件动态。系统。 18，第2号，163-179（2008）.MSC公司：93个B03 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Girard}等人，离散事件动态。系统。18，第2号，163--179（2008；Zbl 1395.93113） 全文： 内政部
奥斯卡·H·伊巴拉。;当、哲 关于带有单调计数器和二次丢番图方程的双向FA。 （英语） 兹比尔1084.68062 西奥。计算。科学。 312，第2-3号，359-378（2004）.MSC公司：65年第68季度 03B25号 05年3月 11比85 2009年第11天 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{Z.Dang}，Theor。计算。科学。312，编号2--3，359--378（2004；Zbl 1084.68062） 全文： 内政部
伊迪丝·科恩;埃兰·哈尔佩林;哈伊姆·卡普兰;乌里·兹威克 通过2跳标签进行可达性和距离查询。 （英语） 兹比尔1026.68165 SIAM J.计算。 32，第5期，1338-1355（2003）.MSC公司：68瓦40 68卢比99 PDF格式BibTeX公司 XML格式引用 \textit{E.Cohen}等人，SIAM J.Compute。32，第5号，1338--1355（2003；Zbl 1026.68165） 全文： 内政部
罗宾·米尔纳 动作结构和像素。 （英语） Zbl 0872.08003号 Schwichtenberg，Helmut（编辑），《证明与计算》。1993年7月20日至8月1日在德国马克托伯多夫举行的北约ASI暑期学校会议记录。柏林：Springer-Verlag。北约ASI系列。，序列号。F、 计算。系统。科学。139, 317-377 (1995).MSC公司：08A70型 2010年第68季度 18日第10天 PDF格式BibTeX公司 XML格式引用 \textit{R.Milner}，北约ASI Ser。，序列号。F、 计算。系统。科学。139、317--377（1995年；Zbl 0872.08003）
克劳斯·马提斯;西格蒙德·舒尔茨，雷纳;安东·瓦科尔宾格 年龄相关的Galton-Watson过程的平衡分布。二、。 （英语） Zbl 0795.60078号 数学。纳克里斯。 160, 313-324 (1993).MSC公司：60J80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Matthes}等人，数学。纳克里斯。160、313--324（1993；Zbl 0795.60078） 全文： 内政部
V.A.科马罗夫。 关于可得微分包含集的方程。 （俄语） Zbl 0673.34015号 不同。乌拉文。 24，第4期，692-694（1988）. 审核人：M.Tvrdý公司 MSC公司：34A60型 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Komarov}，Differ（不同）。乌拉文。24，第4号，692--694（1988；Zbl 0673.34015）
西蒙·恩塔福斯;特奥菲洛·冈萨雷斯 关于路径覆盖问题的计算复杂性。 （英语） Zbl 0547.68044号 J.计算。系统。科学。 29, 225-242 (1984).MSC公司：65年第68季度 68兰特 05C38号 05C20号 PDF格式BibTeX公司 XML格式引用 \textit{S.Ntafos}和\textit{T.Gonzalez}，J.Compute。系统。科学。29225-242（1984年；Zbl 0547.68044） 全文： 内政部
伊万诺夫，E.A。 图上的并行算法。 （英语。俄文原件） Zbl 0484.68025号 控制论 17, 381-383 (1982); 译自Kibernetika 1981，第3期，81-83（1981）。MSC公司：68瓦99 65年第68季度 68兰特 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Ivanov}，控制论17，381--383（1981；Zbl 0484.68025）；译自Kibernetika 1981年，第3期，第81-83页（1981） 全文： 内政部
迈克尔·阿尔比布（Michael A.Arbib）。;A.J.Kfoury。;罗伯特·N·摩尔。 理论计算机科学的基础。 （英语） 兹比尔0471.68002 理论计算机科学AKM系列。计算机科学的文本和专著。纽约-海德堡-柏林：施普林格-弗拉格。八、 220页，49张图，DM 42.50；$19.80 (1981).MSC公司：68-01 94-01 65年第68季度 68问题65 68瓦99 68兰特 94立方厘米 PDF格式BibTeX公司 XML格式