孟一鸣;刘军 用于随机系统验证的稳健完整有限状态抽象。 （英文） Zbl 07643429号 Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 80-97 (2022).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{Y.Meng}和\textit{J.Liu}，Lect。注释计算。科学。13465，80-97（2022；Zbl 07643429） 全文： 内政部 arXiv公司
张琪;卡拉·西特祖;李志武;亚历山德罗·朱阿 受攻击的监督离散事件系统的分析框架。 （英文） Zbl 1504.93231号 Zattoni，Elena（编辑）等人，第15届欧洲先进控制和诊断研讨会，ACD 2019。研讨会记录，2019年11月21日至22日，意大利博洛尼亚。查姆：斯普林格。莱克特。票据控制信息科学–程序。，529-546 (2022).MSC公司：93元65角 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{Q.Zhang}等人，in：第15届欧洲先进控制和诊断研讨会，ACD 2019。研讨会记录，2019年11月21日至22日，意大利博洛尼亚。查姆：斯普林格。529--546（2022年；Zbl 1504.93231） 全文： 内政部 arXiv公司
埃迪·穆什卡丁;伯恩哈德·艾切尼格（Bernhard K.Aichernig）。;药丸，英戈;马丁·塔普勒 从递归神经网络学习有限状态模型。 （英文） Zbl 1502.68263号 ter Beek，Maurice H.（编辑）等，《综合形式方法》。2022年6月7日至10日，第17届国际会议，IFM 2022，瑞士卢加诺。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13274, 229-248 (2022).MSC公司：68T05型 68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{E.Muškardin}等人，Lect。注释计算。科学。13274、229--248（2022；Zbl 1502.68263） 全文： 内政部
塞萨里·杰林斯基 利用嵌入式代理的机器人系统设计方法。 （英文） 兹比尔1481.93094 Kulczycki，Piotr（编辑）等人，《自动控制、机器人和信息处理》。查姆：斯普林格。研究系统。Decis公司。控制296523-561（2021）。MSC公司：93C85号 93甲16 93B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.杰林斯基}，Stud.Syst。Decis公司。控制296523--561（2021；Zbl 1481.93094） 全文： 内政部
丹尼尔·耶林（Daniel M.Yellin）。;盖尔·韦斯 从递归神经网络合成无上下文文法。 （英文） Zbl 1467.68077号 Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 351-369 (2021).MSC公司：68问题32 2012年第68季度 65年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Yellin}和\textit{G.Weiss}，莱克特。注释计算。科学。12651、351--369（2021；Zbl 1467.68077） 全文： 内政部 arXiv公司
塞萨里·杰林斯基 使用分层有限状态自动机的基于代理的机器人系统规范。 （英文） Zbl 07828818号 Bartoszewicz，Andrzej（编辑）等人，《高级当代控制》。2020年10月14日至29日，波兰科托德第20届波兰控制会议（PCC 2020），KKA 2020会议记录。查姆：斯普林格。高级智能。系统。计算。1196, 465-476 (2020).MSC公司：93至XX PDF格式BibTeX公司 XML格式引用 \textit{C.杰林斯基}，高级情报。系统。计算。1196465-476（2020；Zbl 07828818） 全文： 内政部
Shaan马图尔;拉斐尔·奥斯特罗夫斯基 自稳定种群协议的组合特征。 （英文） Zbl 1517.68048号 Devismes，Stéphane（编辑）等人，分布式系统的稳定、安全和保障。第22届国际研讨会，SSS 2020，美国德克萨斯州奥斯汀，2020年11月18日至21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12514, 167-182 (2020).MSC公司：64岁以下 68个M12 2010年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Mathur}和\textit{R.Ostrovsky}，莱克特。注释计算。科学。12514、167--182（2020年；Zbl 1517.68048） 全文： 内政部 arXiv公司
斯坦尼斯拉夫·泽克维奇（Stanislav L.Zenkevich）。;纳扎罗娃（Anaid V.Nazarova）。;霍建文 使用带摄像机的四旋翼机的地面多智能体系统编队控制。 （英文） Zbl 1461.93026号 Alla G.Kravets（编辑），《机器人技术：工业4.0问题和新智能控制范式》。查姆：斯普林格。研究系统。Decis公司。控制272113-124（2020）。MSC公司：93甲16 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Zenkevich}等人，《研究系统》。Decis公司。控制272113--124（2020；Zbl 1461.93026） 全文： 内政部
斯特凡·多布雷夫;拉塔纳拉亚南;雅罗斯拉夫·奥帕特尼;丹尼斯·潘克拉托夫 用有限自动机探索高维网格。 （英文） Zbl 07561632号 Baier，Christel（ed.）等人，第46届自动化、语言和编程国际学术讨论会，2019年ICALP 2019年7月9日至12日，希腊帕特拉斯。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。132，第139条，第16页（2019年）。MSC公司：68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Dobrev}等人，LIPIcs——莱布尼茨国际程序。通知。132，第139条，第16页（2019年；Zbl 07561632） 全文： 内政部 arXiv公司
耶胡达·阿费克;尤瓦尔·埃梅克;科利坎特，诺阿 有限状态机的协同作用。 （英文） Zbl 07561450号 曹建农等，第22届分布式系统原理国际会议，OPODIS 2018，2018年12月17日至19日，中国香港。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。125，第22条，第16页（2019年）。MSC公司：64岁以下 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{Y.Afek}等人，LIPIcs——莱布尼茨国际程序。通知。125，第22条，第16页（2019年；Zbl 07561450） 全文： 内政部
耶胡达·阿费克;尤瓦尔·埃梅克;诺亚·科利坎特 在有限状态机网络中选择领导者。 （英文） Zbl 1497.68031号 Schmid，Ulrich（编辑）等人，第32届分布式计算国际研讨会，DISC 2018，美国路易斯安那州新奥尔良，2018年10月15日至19日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。121，第4条，第17页（2018年）。MSC公司：64岁以下 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Afek}等人，LIPIcs——莱布尼茨国际程序。通知。121，第4条，第17页（2018；Zbl 1497.68031） 全文： 内政部 arXiv公司
加布里埃拉·菲奥雷;埃琳娜·德·桑提斯;迪·贝内代托，玛丽亚·多梅尼卡 混合动力系统的安全可诊断性。 （英文） Zbl 1455.93091号 Sayed-Mouchaweh，Moamar（编辑），混合动态和网络物理系统的可诊断性、安全性和安全性。查姆：斯普林格。175-200 (2018).MSC公司：93立方 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Fiore}等人，in：混合动态和网络物理系统的可诊断性、安全性和安全性。查姆：斯普林格。175-200（2018年；Zbl 1455.93091） 全文： 内政部
乔迪·西尔维斯特·瑞安;伊恩·霍尔姆斯 递归神经网络基调用者的一致解码。 （英文） Zbl 1392.92008年 Jansson，Jesper（编辑）等人，《计算生物学算法》。2018年6月25日至26日在中国香港举行的2018年ALCoB第五届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-91937-9/pbk；978-3-3169-91938-6/电子书）。计算机科学讲义10849。生物信息学讲义，128-139（2018）。MSC公司：92秒20 92C40型 65年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Silvestre-Ryan}和\textit{I.Holmes}，莱克特。注释计算。科学。10849，128--139（2018；Zbl 1392.92008） 全文： 内政部
雅库布·瓦兹祖克;阿加塔·萨瓦里;扬尼克·帕门蒂尔 通过捕获冗余提高实际TAG解析效率。 （英文） Zbl 1475.68144号 Han，Yo-Sub（编辑）等，自动机的实现和应用。2016年7月19日至22日，第21届国际会议，CIAA 2016，韩国首尔。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9705, 310-321 (2016).MSC公司：2012年第68季度 65年第68季度 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{J.Waszczuk}等人，Lect。注释计算。科学。9705310-321（2016；Zbl 1475.68144） 全文： 内政部 哈尔
塞缪尔·库根;穆拉特·阿卡克 混合单调系统的有效有限抽象。 （英文） Zbl 1364.93238号 第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3433-4）。58-67 (2015).MSC公司：93B40码 60年第68季度 90B20型 第92天25分 93个B03 93C55美元 PDF格式BibTeX公司 XML格式引用 \textit{S.Coogan}和\textit{M.Arcak}，in：第18届ACM混合系统国际会议论文集：计算和控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）。58-67（2015年；Zbl 1364.93238） 全文： 内政部
穆罕默德·拉苏利;埃里克·米林;特内克奇斯（Teneketzis，Demostennis） 动态网络安全的监督控制方法。 （英文） 兹比尔1448.68199 Poovendran，Radha（编辑）等人，《安全决策与博弈论》。第五届国际会议，GameSec 2014，美国加利福尼亚州洛杉矶，2014年11月6-7日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8840, 99-117 (2014).MSC公司：68平方米25 68M10个 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{M.Rasouli}等人，Lect。注释计算。科学。8840，99-117（2014年；兹bl 1448.68199） 全文： 内政部 arXiv公司
达斯，山塔努;谢·库滕;Zvi洛特克 使用移动代理进行分布式验证。 （英文） Zbl 1351.68037号 Frey，Davide（编辑）等人，《分布式计算和网络》。2013年1月3日至6日在印度孟买举行的第14届国际会议，ICDCN 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-35667-4/pbk）。计算机科学课堂讲稿7730，330-347（2013）。MSC公司：64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Das}等人，Lect。注释计算。科学。7730330-347（2013；Zbl 1351.68037） 全文： 内政部
尤瓦尔·埃梅克;罗杰·瓦滕霍夫 石器时代分布式计算。 （英文） Zbl 1323.68270号 2013年7月22日至24日，加拿大魁北克省蒙特利尔市，2013年ACM分布式计算原理研讨会论文集，PODC’13。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2065-8）。137-146 (2013).MSC公司：2005年第68季度 64岁以下 2010年第68季度 65年第68季度 68问题80 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Emek}和\textit{R.Wattenhofer}，in：第32届ACM分布式计算原理研讨会论文集，PODC’13，加拿大魁北克省蒙特利尔，2013年7月22日至24日。纽约州纽约市：计算机协会（ACM）。137-146（2013年；Zbl 1323.68270） 全文： 内政部 arXiv公司
Han、Yo-Sub;Ko、Sang-Ki;凯·萨洛马 无上下文语法和有限状态自动机之间的近似匹配。 （英文） Zbl 1298.68137号 Konstantinidis，Stavros（编辑），自动化的实现和应用。第18届国际会议，CIAA 2013，加拿大NS哈利法克斯，2013年7月16日至19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39273-3/pbk）。计算机科学课堂讲稿7982146-157（2013）。MSC公司：65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{Y.-S.Han}等人，Lect。注释计算。科学。7982、146--157（2013年；Zbl 1298.68137） 全文： 内政部
纳米特·查图尔维迪;阿提什·达塔·乔杜里;Meenakshi，B。 使用有限状态自动机的分散物理访问控制框架。 （英文） Zbl 1257.93069号 D’Souza，Deepak（编辑）等人，自动机理论的现代应用。献给普里蒂·尚卡尔教授。引言：莱因哈德·威廉姆。新泽西州哈肯萨克：世界科学；班加罗尔：IISc出版社（ISBN 978-981-4271-04-2/hbk；978-981-4271-05-9/电子书）。IISc研究专著系列2，171-191（2012）。MSC公司：93C85号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Chaturvedi}等人，IISc Res.Monogr。序列号。2171--191（2012年；Zbl 1257.93069） 全文： 内政部
亚历山德罗·阿巴特;Joost-Pieter卡托恩;亚历山大·梅雷克莱 自治随机混合系统的定量自动机模型检验。 （英文） Zbl 1361.68130号 2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。83-92 (2011).MSC公司：60年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人，in：第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。83-92（2011年；Zbl 1361.68130） 全文： 内政部
杰雷米·查洛平;达斯，山塔努;阿诺德·拉博雷尔;欧里庇得斯·马库 同步环面上散布有限自动机的黑洞搜索。 （英文） Zbl 1254.68053号 Peleg，David（编辑），《分布式计算》。第25届国际研讨会，2011年DISC，2011年9月20日至22日，意大利罗马。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24099-7/pbk）。计算机科学讲义6950，432-446（2011）。 审核人：伊夫·梅提弗（波尔多） MSC公司：64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{J.Chalopin}等人，Lect。注释计算。科学。6950，432——446（2011年；兹比尔1254.68053） 全文： 内政部 arXiv公司
维斯纳帕吉奇;拉泽蒂奇、戈达娜·巴甫洛维奇;米洛什·帕吉奇 半结构化资源的信息提取：两阶段有限状态传感器方法。 （英文） Zbl 1297.68205号 Bouchou-Markhoff，Béatrice（编辑）等人，《自动机的实现和应用》。2011年7月13日至16日在法国布洛伊斯举行的CIAA 2011第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22255-9/pbk）。计算机科学课堂讲稿6807282-289（2011）。MSC公司：68T05型 65年第68季度 92-08 PDF格式BibTeX公司 XML格式引用 \textit{V.Pajić}等人，Lect。注释计算。科学。6807282--289（2011年；Zbl 1297.68205） 全文： 内政部
克里斯蒂安·弗劳格尼;雅克·萨卡罗维奇 数字表示和有限自动机。 （英文） Zbl 1216.68142号 Berthé，Valérie（编辑）等，组合数学，自动机和数论。剑桥：剑桥大学出版社（ISBN 978-0-521-51597-9/hbk）。数学及其应用百科全书135，34-107（2010）。MSC公司：65年第68季度 11A63型 11B85号 37B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.Frougny}和\textit{J.Sakarovitch}，Encycl。数学。申请。135、34-107（2010年；Zbl 1216.68142） 全文： 内政部
佛罗伦萨伊帕特;盖奥尔吉，玛丽安 测试非确定性流X机模型和P系统。 （英文） 兹比尔1347.68138 Ciobanu，Gabriel（编辑），《第二届膜计算和生物启发过程计算国际会议论文集》（MeCBIC 2008），2008年9月3日至4日，罗马尼亚伊阿什。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记227113-126（2009）。MSC公司：2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}和\textit{M.Gheorghe}，电子。注释Theor。计算。科学。227113-126（2009年；兹bl 1347.68138） 全文： 内政部
噢，约翰;苏迪普·米斯拉 控制论和学习自动机。 （英文） Zbl 1208.93126号 Nof，Shimon Y.（编辑），《Springer自动化手册》。带DVD。柏林：施普林格出版社（ISBN 978-3-540-78830-0/hbk；978-3-540-78831-7/电子书）。221-235 (2009).MSC公司：93E35型 93E03型 PDF格式BibTeX公司 XML格式引用 \textit{J.Oommen}和\textit{S.Misra}，收录于：Springer自动化手册。带DVD。柏林：斯普林格。221--235（2009年；Zbl 1208.93126） 全文： 内政部
佛罗伦萨伊帕特;盖奥尔吉，玛丽安 测试非确定性流X机模型和P系统。 （英文） Zbl 1221.68135号 乔巴努，加布里埃尔（编辑），MeCBIC 2008。第二届膜计算和生物启发过程计算国际会议。论文基于2008年9月3日至4日在罗马尼亚伊阿什伊举行的会议上的发言。Iaši：“AI.i.Cuza”大学，“A.Myller”研讨会。117-130 (2008).MSC公司：65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}和\textit{M.Gheorghe}，收录于：MeCBIC 2008。第二届膜计算和生物启发过程计算国际会议。2008年9月3日至4日，罗马尼亚，伊阿什伊，根据会议上的陈述撰写的论文。Iaši：“AI.i.Cuza”大学，“A.Myller”学术研讨会。117-130（2008；Zbl 1221.68135）
安娜·卡斯普齐克 多维树的学习算法，或：超越上下文的学习。 （英文） Zbl 1177.68117号 亚历山大·克拉克（编辑）等人，《语法推理：算法和应用》。2008年9月22日至24日在法国圣马洛举行的2008年国际地理信息学会第九届国际学术讨论会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88008-0/pbk）。计算机科学课堂讲稿5278。人工智能课堂讲稿，111-124（2008）。MSC公司：68问题32 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本｛A.Kasprzik｝，勒克特。注释计算。科学。5278、111--124（2008年；Zbl 1177.68117） 全文： 内政部
达纳州安格鲁因;利昂诺·贝塞拉·波纳切 先学意义，后学语法。 （英文） Zbl 1177.68105号 亚历山大·克拉克（编辑）等人，《语法推理：算法和应用》。2008年9月22日至24日在法国圣马洛举行的2008年国际地理信息学会第九届国际学术讨论会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88008-0/pbk）。计算机科学课堂讲稿5278。人工智能课堂讲稿，1-14（2008）。MSC公司：68问题32 2012年第68季度 65年第68季度 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{D.Anguin}和\textit{L.Becerra-Bonache}，莱克特。注释计算。科学。5278，1-14（2008；Zbl 1177.68105） 全文： 内政部
普拉卡什·钱德拉塞卡兰;马达瓦恩·穆昆德 为场景增加时间。 （英文） Zbl 1189.93014号 Ramesh，S.（ed.）等人，分布式嵌入式控制系统的下一代设计和验证方法。通用汽车研发研讨会会议记录，印度班加罗尔，2007年1月。多德雷赫特：施普林格（ISBN 978-1-4020-6253-7/hbk）。83-97 (2007).MSC公司：93A30型 93C70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Chandrasekaran}和\textit{M.Mukund}，in：分布式嵌入式控制系统的下一代设计和验证方法。通用汽车研发研讨会会议记录，印度班加罗尔，2007年1月。多德雷赫特：施普林格。83-97（2007年；Zbl 1189.93014） 全文： 内政部
巴思，S.S。;E.R.维埃拉。;A.卡瓦利。;乌亚尔，M.Ü。 SDL中定时EFSM故障模型的规范。 （英文） Zbl 1215.68126号 Derrick，John（编辑）等人，《网络和分布式系统的形式化技术——FORTE 2007》。2007年6月27日至29日在爱沙尼亚塔林举行的第27届IFIP工作组6.1国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73195-5/pbk）。《计算机科学讲义》4574，50-65（2007）。MSC公司：60年第68季度 68米15 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Batth}等人，Lect。注释计算。科学。4574，50-65（2007；Zbl 1215.68126） 全文： 内政部
安西Yli-Jyrä;Kimmo Koskeniemi 一种新的并行替换规则编译方法。 （英文） Zbl 1139.68349号 Holub，Jan（编辑）等人，《自动机的实现和应用》。2007年7月16日至18日在捷克共和国布拉格举行的第十二届CIAA国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-76335-2/pbk）。计算机科学课堂讲稿4783，320-321（2007）。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Yli-Jyrä}和\textit{K.Koskeniemi}，莱克托。注释计算。科学。4783、320-321（2007年；Zbl 1139.68349） 全文： 内政部
杰西卡·陈;哈桑·乌拉尔 检测分布式测试中的可观测性问题。 （英文） Zbl 1185.68086号 Uyar，M.U mit（编辑）等人，《通信系统测试》。第18届IFIP TC6/WG6.1国际会议，TestCom 2006，美国纽约州纽约市，2006年5月16日至18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-34184-6/pbk）。计算机科学课堂讲稿3964，213-226（2006）。MSC公司：68米15 68个M12 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{J.Chen}和\textit{H.Ural}，Lect。注释计算。科学。3964、213--226（2006年；Zbl 1185.68086） 全文： 内政部
马哈德万·苏布拉马尼亚姆;佐尔坦·帕普 分析协议更改对测试的影响。 （英文） 兹比尔1185.68098 Uyar，M.U mit（编辑）等人，《通信系统测试》。第18届IFIP TC6/WG6.1国际会议，TestCom 2006，美国纽约州纽约市，2006年5月16日至18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-34184-6/pbk）。计算机科学课堂讲稿3964，197-212（2006）。MSC公司：68米15 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{M.Subramaniam}和\textit{Z.Pap}，Lect。注释计算。科学。3964、197--212（2006年；Zbl 1185.68098） 全文： 内政部
马利克，罗比;罗普，Partha S。 嵌入式系统中规范匹配的自适应技术：比较研究。 （英文） Zbl 1137.68437号 Romijn，Judi（编辑）等，《综合形式方法》。2005年11月29日至12月2日在荷兰埃因霍温举行的2005年国际单项体育联合会第五届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-30492-0/pbk）。计算机科学课堂讲稿3771，33-52（2005）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Malik}和\textit{P.S.Roop}，莱克特。注释计算。科学。3771、33-52（2005年；Zbl 1137.68437） 全文： 内政部
陈，J。;海伦斯，R.M。;H·乌拉尔。 解决分布式测试体系结构中的可观测性问题。 （英文） Zbl 1169.68338号 Wang，Farn（编辑），网络和分布式系统的形式化技术–FORTE 2005。第25届IFIP WG 6.1国际会议，台湾台北，2005年10月2-5日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29189-X/pbk）。计算机科学课堂讲稿3731219-232（2005）。MSC公司：68米15 64岁以下 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Chen}等人，Lect。注释计算。科学。3731219--232（2005年；Zbl 1169.68338） 全文： 内政部
达纳州安格鲁因;詹姆斯·阿斯彭斯;佐·迪亚马迪;迈克尔·J·费舍尔。;雷内·佩拉尔塔 被动移动有限状态传感器网络中的计算。 （英文） 兹比尔1321.68058 2004年7月25日至28日，加拿大纽芬兰圣约翰PODC’04第23届ACM分布式计算原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-802-4）。290-299（2004年）。MSC公司：64岁以下 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{D.Angluin}等人，in：2004年7月25日至28日，加拿大纽芬兰圣约翰PODC’04第23届ACM分布式计算原理研讨会论文集。纽约州纽约市：计算机协会（ACM）。290-299（2004年；Zbl 1321.68058） 全文： 内政部
Zdeněk萨瓦 非平面系统的等价性检查是EXPTIME-hard。 （英文） Zbl 1274.68134号 Amadio，Roberto（编辑）等人，CONCUR 2003–并发理论。第14届国际会议，法国马赛，2003年9月3日至5日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40753-7/pbk）。莱克特。注释计算。科学。2761, 237-250 (2003).MSC公司：2017年第68季度 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \文本｛Z.Sawa｝，Lect。注释计算。科学。2761237--250（2003年；Zbl 1274.68134） 全文： 内政部
克里沃伊，S.L。 电信系统中的特征交互。 （俄语） Zbl 1100.68507号 2001年乌克兰数学大会，2001年8月21日至23日，乌克兰基辅。诉讼程序。第13条。数学控制理论。基辅：Instytut Matematyky NAN Ukraíny（ISBN 966-02-2941-0）。77-91 (2003).MSC公司：68M10个 68米15 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Krivoj}，收录于：Ukraíns'kyj matematychnyj kongres-2001。普拉奇。Sektsiya第13页。Matematychna teoriya upravlinnya公司。基辅：Instytut Matematyky NAN Ukraíny。77-91（2003年；Zbl 1100.68507）
亚历山大·梅格列茨基 有限状态自动机的鲁棒性。 （英文） Zbl 1065.93013号 Giarré，Laura（编辑）等人，《控制中的多学科研究》。2002年穆罕默德·戴勒研讨会，美国加利福尼亚州圣巴巴拉。研讨会论文。柏林：施普林格出版社（ISBN 3-540-00917-5/pbk）。莱克特。票据控制信息科学。289, 147-160 (2003). 审核人：Alex V.Kolnogorov（诺夫哥罗德） MSC公司：93B35型 93A30型 93B36型 93B12号机组 93立方 PDF格式BibTeX公司 XML格式引用 \文本｛A.Megretski｝，Lect。票据控制信息科学。289、147--160（2003年；Zbl 1065.93013）
陈洁西卡;乔瓦内克，S。 面向基于规范的web测试。 （英文） 兹比尔1049.68760 Gregori，Enrico（编辑）等人，《网络工程和对等计算》。2002年5月19日至24日，意大利比萨，网络2002研讨会。修改后的文件。柏林：施普林格出版社（ISBN 3-540-44177-8）。莱克特。注释计算。科学。2376, 165-171 (2002).MSC公司：68单位99 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{J.Chen}和\textit{S.Chovanec}，Lect。注释计算。科学。2376165--171（2002年；Zbl 1049.68760） 全文： 链接
Chyży，马吕斯;科辛斯基，维托尔德 状态分配问题中交叉算子的比较。 （英文） Zbl 1088.68703号 Kłopotek，Mieczys \322»aw A.（编辑）等人，《智能信息系统2002》。2002年6月3日至6日，波兰索波特，IIS 2002年研讨会论文集。海德堡：Physica-Verlag（ISBN 3-7908-1509-8/pbk）。《软计算进展》，195-200（2002）。MSC公司：68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Chyży}和\textit{W.Kosinski}，《智能信息系统2002》。2002年6月3-6日，波兰索波特，IIS 2002年研讨会论文集。海德堡：Physica-Verlag。195-200（2002年；Zbl 1088.68703）
阿尔贝托·贝托尼;比阿特丽斯·帕拉诺 结构复杂性和神经网络。 （英文） Zbl 1028.68577号 Marinaro，Maria（编辑）等人，《神经网络》。第十三届意大利研讨会，2002年5月30日至6月1日，WIRN VIETRI，意大利，VIETRI sul Mare。修改后的文件。柏林：斯普林格。莱克特。注释计算。科学。2486, 190-215 (2002).MSC公司：68T05型 92秒20 2015年第68季度 2017年第68季度 65年第68季度 90C27型 PDF格式BibTeX公司 XML格式引用 \textit｛A.Bertoni｝和\textit｛B.Palano｝，Lect。注释计算。科学。2486、190-215（2002年；Zbl 1028.68577） 全文： 链接
安娜·卡瓦利;圣埃芬·马格 一种新的服务交互检测算法。 （英文） Zbl 1015.68581号 George，Chris（编辑）等，《形式方法与软件工程》，第四届形式工程方法国际会议，2002年10月21日至25日，中国上海。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2495, 371-382 (2002).MSC公司：68单位99 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalli}和\textit{S.Maag}，莱克特。注释计算。科学。2495371--382（2002年；Zbl 1015.68581） 全文： 链接
杰西卡·陈 表示测试规范的图形用户输入。 （英文） Zbl 1015.68662号 韩燕波（编辑）等，《合作信息系统的工程和部署》。第一届国际会议，2002年EDCIS，中国北京，2002年9月17日至20日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2480, 347-359 (2002).MSC公司：68单位99 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{J.Chen}，莱克特。注释计算。科学。2480347--359（2002年；Zbl 1015.68662） 全文： 链接
塔贾纳五世，扎夫贾洛娃。 具有随机脉冲的线性随机系统在相向量冲击条件下的稳定性分析。 （英文） Zbl 1037.60063号 Petrosjan，L.A.（编辑）等人，第十届动态游戏和应用国际研讨会。俄罗斯圣彼得堡。《圣彼得堡：国际动态游戏学会》，圣彼得堡州立大学，第2卷（ISBN 5-7997-0412-6）。903-906 (2002). 审核人：Volker Wihstutz（夏洛特） MSC公司：60 H10型 93E15型 34F05型 PDF格式BibTeX公司 XML格式引用 \textit{T.V.Zavjalova}，in：10-öммеаунароДннтсимаамиумПоаДитескиатираМмрилоеением。圣彼得堡：国际动态游戏协会，圣彼得堡州立大学，903--906（2002；Zbl 1037.60063）
阿努吉·普里;斯塔夫罗斯·特里帕基斯;普拉文·瓦莱亚 离散事件系统分散观测与控制问题及实例。 （英文） 兹比尔1054.93038 Caillaud，Benoêt（编辑）等人，《离散事件系统的合成与控制》。波士顿：Kluwer学术出版社（ISBN 0-7923-7639-0）。37-56 (2002). 审核人：博胡米尔·弗兰蒂舍克·什马尔达（布尔诺） MSC公司：93元65角 93甲14 93个B07 90B25型 90B18号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Puri}等人，in：离散事件系统的合成与控制。波士顿：Kluwer学术出版社。37-56（2002年；Zbl 1054.93038）
伊凡·加布里杰尔;安德烈·多布尼卡尔 基于递归神经网络的有限状态自动机在线识别与规则提取。 （英文） Zbl 1011.68084号 Kůrková，Věra（编辑）等人，《人工神经网络和遗传算法》。国际会议记录，捷克共和国布拉格，2001年。维恩：施普林格。78-81 (2001).MSC公司：68T05型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Gabrijel}和\textit{A.Dobnikar}，in：人工神经网络和遗传算法。国际会议记录，捷克共和国布拉格，2001年。维恩：施普林格。78-81（2001年；Zbl 1011.68084）
梅赫里亚·莫赫里 加权语法工具：GRM库。 （英文） Zbl 0989.68069号 Junqua，Jean-Claude（编辑）等人，《语言和语音技术的鲁棒性》。多德雷赫特：Kluwer学术出版社。文本-语音-语言技术。17, 165-186 (2001).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Mohri}，文本-语音-语言技术。17、165--186（2001；Zbl 0989.68069）
米克尔·L·福卡达。;拉斐尔·卡拉斯科。 模拟神经网络中的有限状态计算：走向生物似然模型的步骤？ （英文） 兹比尔0989.68600 Wermter，Stefan（编辑）等，基于神经科学的新兴神经计算架构。面向神经科学灵感计算。柏林：斯普林格。莱克特。注释计算。科学。2036480-493（2001）中所述。MSC公司：68单位99 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Forcada}和\textit{R.C.Carrasco}，莱克特。注释计算。科学。2036480-493（2001年；Zbl 0989.68600）
英格玛·维瑟;Raijmakers，Maartje E.J。;彼得·莫勒纳尔（Peter C.M.Molenaar）。 神经网络的隐马尔可夫模型解释。 （英文） Zbl 0984.68121号 French，Robert M.（编辑）等，学习、发展和进化的连接主义模型。第六届神经计算和心理学研讨会论文集，NCPW，比利时利日，2000年9月16日至18日。伦敦：斯普林格。神经计算的观点。197-206 (2001).MSC公司：68T05型 PDF格式BibTeX公司 XML格式引用 \textit{I.Visser}等人，in：学习、发展和进化的连接主义模型。第六届神经计算与心理学研讨会论文集，NCPW，比利时利日，2000年9月16-18日。伦敦：斯普林格。197--206（2001；Zbl 0984.68121）
弗朗索瓦·科斯特;丹尼尔·弗雷多维尔 （C\）-NFA中的高效模糊检测。走向非确定性自动机推理的一步。 （英文） Zbl 0974.68516号 Oliveira，Arlindo L.（编辑），《语法推理：算法和应用》。2000年9月11日至13日，葡萄牙里斯本，第五届国际学术讨论会，ICGI 2000。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1891, 25-38 (2000).MSC公司：65年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{F.Coste}和\textit{D.Fredouille}，莱克特。注释计算。科学。1891年，25-38（2000年；兹bl 0974.68516）
拉杜·马特埃斯库 布尔方程系统的高效诊断生成。 （英文） 兹伯利0960.68118 Graf，Susanne（编辑）等人，《系统构建和分析的工具和算法》。第六届国际会议，TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1785, 251-265 (2000).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Mateescu}，莱克特。注释计算。科学。1785，251--265（2000；Zbl 0960.68118）
凯·鲍库斯;萨德克·本萨勒姆;亚辛·拉赫内奇;卡斯滕·斯塔尔 提取WS1S系统以验证参数化网络。 （英文） Zbl 0964.68096号 Graf，Susanne（编辑）等人，《系统构建和分析的工具和算法》。第六届国际会议，TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1785, 188-203 (2000).MSC公司：68问题85 60年第68季度 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{K.Baukus}等人，Lect。注释计算。科学。1785188-203（2000年；Zbl 0964.68096）
熊海燕;保罗·库松;索菲涅·塔哈尔 将千年发展目标验证结果导入HOL。 （英文） Zbl 0969.94503号 Bertot，Yves（编辑）等人，《高阶逻辑中的定理证明》。第12届国际会议，TPHOLs’99。1999年9月14日至17日，法国尼斯。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1690, 293-310 (1999).MSC公司：94立方厘米 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛H.Xiong｝等人，Lect。注释计算。科学。1690，293--310（1999；Zbl 0969.94503）
金明哲;Jaehwi Shin;Samuel T.Chanson。;Kang，成元 用于测试异步通信系统的增强模型。 （英文） Zbl 0951.68004号 吴建平（编辑）等，协议工程和分布式系统的形式化方法。99年第十二堡/第十九电视台。IFIP TC6 WG6.1分布式系统和通信协议形式描述技术（FORTE XII）和协议规范、测试和验证（PSTV XIX）联合国际会议。中国北京，1999年10月5日至8日。波士顿：Kluwer学术出版社。国际联邦信息流程。，IFIP。28, 337-356 (1999).MSC公司：68M10个 PDF格式BibTeX公司 XML格式引用 \textit{M.Kim}等人，in：协议工程和分布式系统的形式化方法。99年第十二堡/第十九电视台。IFIP TC6 WG6。分布式系统和通信协议形式描述技术（FORTE XII）和协议规范、测试和验证（PSTV XIX）联合国际会议。中国北京，1999年10月5-8日。波士顿：Kluwer学术出版社。337--356（1999；Zbl 0951.68004）
Marcus，Brian H。;罗恩·罗斯。;保罗·H·西格尔。 录制频道的受限系统和编码。 （英文） Zbl 0983.94015号 Pless，V.S.（编辑）等人，《编码理论手册》。第1卷。第1部分：代数编码。第2卷。第2部分：连接，第3部分：应用。阿姆斯特丹：爱思唯尔。1635-1764 (1998). 审核人：凯瑟琳·罗格纳（柏林） MSC公司：94甲14 2002年 94B12号机组 94B50型 94C15号机组 94B65个 65年第68季度 94B75号 11小时71分 PDF格式BibTeX公司 XML格式引用 \textit{B.H.Marcus}等人，《编码理论手册》。第1卷。第1部分：代数编码。第2卷。第2部分：连接，第3部分：应用。阿姆斯特丹：爱思唯尔。1635-1764（1998年；Zbl 0983.94015）
艾默生·E·艾伦;理查德·特雷弗勒。 对称系统的模型检查实时属性。 （英文） Zbl 0913.03036号 Brim，Luboš（编辑）等人，《计算机科学的数学基础》，1998年。第23届国际研讨会，MFCS’98。1998年8月24日至28日，捷克共和国布尔诺。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1450427-436（1998年）。 审核人：D.Gruska（布拉迪斯拉发） MSC公司：03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson}和\textit{R.J.Trefler}，莱克特。注释计算。科学。1450、427--436（1998年；Zbl 0913.03036）
拉马努贾姆，R。 跟踪一致性推理规则。 （英文） Zbl 0918.03016号 Shyamasundar，R.K.（编辑）等人，《计算科学进展——1997年亚洲》。第三届亚洲计算科学会议，尼泊尔加德满都，1997年12月9日至11日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1345, 57-71 (1997). 审核人：彼得·扬查尔（俄斯特拉发） MSC公司：03B70号 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramanujam}，莱克特。注释计算。科学。1345，57--71（1997；Zbl 0918.03016）
艾默生·E·艾伦 模型检查和微积分。 （英文） Zbl 0877.03020号 Immerman，Neil（编辑）等，描述复杂性和有限模型。DIMACS研讨会论文集，1996年1月14日至17日，普林斯顿大学，普林斯顿，新泽西州，美国。普罗维登斯，RI:AMS，美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。31, 185-214 (1997).MSC公司：03B80号 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson}，DIMACS，序列号。离散数学。西奥。计算。科学。31185-214（1997；Zbl 0877.03020）
F.J.布兰登堡。;斯科迪斯，K。 线性图语言的图自动机。 （英文） Zbl 1412.68123号 Cuny，J.（编辑）等人，《图形语法及其在计算机科学中的应用》。第五届国际研讨会，美国弗吉尼亚州威廉斯堡，1994年11月13日至18日。精选论文。柏林：斯普林格。莱克特。注释计算。科学。第107336-350页（1996年）。MSC公司：65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.J.Brandenburg}和\textit{K.Skodinis}，莱克特。注释计算。科学。107336--350（1996年；Zbl 1412.68123） 全文： 内政部
T.尼诺米。;B.H.Krogh。 阈值事件驱动的切换模式混合系统建模与分析。 （英文） Zbl 0883.93004号 Khalil，Hassan（编辑）等人，《控制及其应用进展研讨会论文集》。1994年5月21日，美国伊利诺伊州乌尔班纳·香槟。柏林：斯普林格。莱克特。票据控制信息科学。208, 155-172 (1996). 审核人：B.F.Šmarda（布尔诺） MSC公司：93甲13 93立方 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Niomini}和\textit{B.H.Krogh}，莱克特。票据控制信息科学。208、155--172（1996年；Zbl 0883.93004）
空白，迈克尔 乘法级联模型和多重分形。 （英文） Zbl 0867.76034号 Meneguzzi，Maurice（ed.）等人，《三维流体动力学和磁流体动力学湍流中的小尺度结构》。研讨会记录，法国尼斯，1995年1月10日至13日。柏林：Springer-Verlag。莱克特。注释物理。462, 159-164 (1995).MSC公司：76层20 PDF格式BibTeX公司 XML格式引用 \textit{M.空白}，Lect。注释物理。462159--164（1995年；Zbl 0867.76034）
珍妮弗·麦克马尼斯;普拉文·瓦莱亚 使用速率自动机对实时系统进行建模。 （英文） Zbl 0828.93002号 Kumar，P.R.（编辑）等人，《离散事件系统、制造系统和通信网络》。基于1992-93年在美国明尼苏达州明尼阿波利斯市明尼苏打大学举行的IMA控制理论课程不可分割的一部分研讨会的会议记录。IMA卷数学。申请。73, 177-199 (1995).MSC公司：93A10号 93C99号 93A30型 PDF格式BibTeX公司 XML格式引用 \textit｛J.McManis｝和\textit｛P.Varaiya｝，IMA数学卷。申请。73177-199（1995年；Zbl 0828.93002）
Caines，体育。;魏永杰。 COCOLOG理论的马尔科夫碎片。 （英文） 兹伯利0878.93035 Kumar，P.R.（编辑）等人，《离散事件系统、制造系统和通信网络》。基于1992-93年在美国明尼苏达州明尼阿波利斯市明尼苏打大学举行的IMA控制理论课程不可分割的一部分研讨会的会议记录。IMA卷数学。申请。73, 1-39 (1995). 审核人：D.Franke（汉堡） MSC公司：93立方 68吨15 03C07号机组 03B35型 03B10号机组 65年第68季度 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Caines}和\textit{Y.J.Wei}，IMA卷数学。申请。73、1-39（1995年；Zbl 0878.93035）
巴西，马库斯 使用自动机计算组的增长函数。 （英文） Zbl 0833.20042号 Bosma，Wieb（编辑）等人，计算代数和数论。基于1992年11月在澳大利亚悉尼悉尼大学举行的计算代数和数论会议。多德雷赫特：Kluwer学术出版社。数学。申请。，多德。325, 1-18 (1995). 审核人：P.Lakatos（德布勒森） MSC公司：2010年1月20日 70年第68季度 2005年5月20日 20-02 03D40号 20F05型 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{M.巴西}，数学。申请。，多德。325，1-18（1995；Zbl 0833.20042）
列昂尼德·费布索维奇 吉布斯变分原理、梯度流和内点方法。 （英文） Zbl 0818.90068号 安东尼·布洛赫（编辑），哈密尔顿和梯度流，算法和控制。普罗维登斯，RI：美国数学学会。字段Inst.Commun。3, 99-111 (1994).MSC公司：90C05（二氧化碳） 82个B05 37N99型 PDF格式BibTeX公司 XML格式引用 \textit｛L.Faybusovich｝，菲尔兹研究所公社。3、99-111（1994年；Zbl 0818.90068）
米歇尔·布雷顿;赛义卜·哈切姆 求解大规模单控制器随机博弈的算法。 （英文） Zbl 0819.90135号 Başar，Tamer（编辑）等人，《动态游戏和应用的进展：1992年7月在瑞士日内瓦举行的ISDG两年一度的研讨会上的参考和编辑论文》。马萨诸塞州波士顿：Birkhäuser。安国际社会动态。游戏。1, 195-216 (1994).MSC公司：91A15型 91A50型 93C55美元 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Breton}和\textit{S.El-Hachem}，in：动态游戏和应用的进展：1992年7月在瑞士日内瓦举行的ISDG半年一次的研讨会上的参考和编辑论文。马萨诸塞州波士顿：Birkhäuser。195-216（1994；Zbl 0819.90135）
雅各布·齐夫;内里·梅尔哈夫 通过有限状态分类器对单个序列进行通用识别。 （英文） Zbl 0835.94010号 Capocelli，Renato（编辑）等人，《序列II》。通信、安全和计算机科学方法。1991年6月17日至21日在意大利波西塔诺举行的研讨会上提交了论文。纽约，纽约：施普林格出版社。313-325 (1993).MSC公司：94甲12 68瓦10 68T05型 68吨10 94A55型 PDF格式BibTeX公司 XML格式引用 \textit{J.Ziv}和\textit{N.Merhav}，in：序列II。通信、安全和计算机科学方法。1991年6月17日至21日在意大利波西塔诺举行的研讨会上提交了论文。纽约，纽约：施普林格出版社。313--325（1993；Zbl 0835.94010）
Ushio、Toshimitsu 离散事件系统中的增强语言和监控。 （英文） Zbl 0801.68103号 Balemi，Silvano（编辑）等人，《离散事件系统：建模和控制》。1992年8月26日至28日在捷克斯洛伐克布拉格举行的联合研讨会会议记录。巴塞尔：Birkhä用户。掠夺。系统。控制理论。13, 3-13 (1993).MSC公司：65年第68季度 93个B05 93A10号 PDF格式BibTeX公司 XML格式引用 \textit{T.Ushio}，in：离散事件系统：建模与控制。1992年8月26日至28日在捷克斯洛伐克布拉格举行的联合研讨会会议记录。巴塞尔：Birkhä用户。3-13（1993年；兹bl 0801.68103）
维克托·尤代肯 规范模块化组合的一种无逻辑方法。 （英文） Zbl 0755.68107号 计算和信息进展，ICCI’90，Proc。国际会议，尼亚加拉大瀑布/加拿大，1990年，Lect。注释计算。科学。468, 196-205 (1991).MSC公司：第68季度第65季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Yodaiken}，莱克特。注释计算。科学。468196-205（1991年；Zbl 0755.68107）
兰斯·克莱维兰 关于自动解释互模拟不平等。 （英文） Zbl 0765.68118号 计算机辅助验证程序。第二届国际会议，CAV’90，新不伦瑞克/新泽西州（美国），Lect。注释计算。科学。531, 364-372 (1991).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.克利夫兰}，莱克特。注释计算。科学。531、364--372（1991年；Zbl 0765.68118）
清朝滨口;Hiromi Hiraishi;山岛，Shuzo 用于线性时间复杂度模型检查的分支时间规则时序逻辑。 （英文） Zbl 0765.68126号 计算机辅助验证程序。第二届国际会议，CAV’90，新不伦瑞克/新泽西州（美国），Lect。注释计算。科学。531, 253-262 (1991).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Hamaguchi}等人，Lect。注释计算。科学。531253--262（1991年；Zbl 0765.68126）
彭、吴旭;普鲁索塔曼，S。 通信有限状态机网络中死锁检测问题的统一方法。 （英文） Zbl 0765.68138号 计算机辅助验证程序。第二届国际会议，CAV’90，新不伦瑞克/新泽西州（美国），Lect。注释计算。科学。531, 243-252 (1991).MSC公司：60年第68季度 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{W.Peng}和\textit{S.Purushothaman}，莱克特。注释计算。科学。531243-252（1991年；Zbl 0765.68138）
苏珊娜·格拉芙;伯恩哈德·斯特芬 有限状态系统的组合最小化。 （英文） Zbl 0765.68123号 计算机辅助验证程序。第二届国际会议，CAV’90，新不伦瑞克/新泽西州（美国），Lect。注释计算。科学。531, 186-196 (1991).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Graf}和\textit{B.Steffen}，莱克特。注释计算。科学。531、186--196（1991年；Zbl 0765.68123）
帕特丽斯·戈德弗里德 使用部分订单改进自动验证方法。（扩展摘要）。 （英文） Zbl 0765.68122号 计算机辅助验证程序。第二届国际会议，CAV’90，新不伦瑞克/新泽西州（美国），Lect。注释计算。科学。531, 176-185 (1991).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.戈德弗里德}，莱克特。注释计算。科学。531、176--185（1991年；Zbl 0765.68122）
兰斯·克莱维兰 关于自动区分不等价过程。 （英文） Zbl 0786.68033号 90年计算机辅助验证。第二届DIMACS研讨会，新泽西州新不伦瑞克，1990年，DIMACS，Ser。谨慎。数学。西奥。计算。科学。1463-476页（1991年）。MSC公司：2010年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Cleaveland}，in：计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI:美国数学学会；纽约州纽约市：计算机协会。463-476（1991年；Zbl 0786.68033）
马克·比克福德 有限状态控制器系统的计算机辅助验证工具。 （英文） Zbl 0786.68083号 90年计算机辅助验证。第二届DIMACS研讨会，新泽西州新不伦瑞克，1990年，DIMACS，Ser。谨慎。数学。西奥。计算。科学。3, 405-440 (1991).MSC公司：68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bickford}，in：计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI:美国数学学会；纽约州纽约市：计算机协会。405--440（1991年；Zbl 0786.68083）
彭、吴旭;普鲁索塔曼，S。 通信有限状态机网络中死锁检测问题的统一方法。 （英文） Zbl 0786.68008号 90年计算机辅助验证。第二届DIMACS研讨会，新泽西州新不伦瑞克，1990年，DIMACS，Ser。谨慎。数学。西奥。计算。科学。3, 395-404 (1991).MSC公司：68M10个 PDF格式BibTeX公司 XML格式引用 \textit{W.Peng}和\textit{S.Purushothaman}，in：计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI:美国数学学会；纽约州纽约市：计算机协会。395--404（1991年；Zbl 0786.68008）
帕特丽斯·戈德弗里德 使用部分订单改进自动验证方法。 （英文） Zbl 0786.68061号 90年计算机辅助验证。第二届DIMACS研讨会，新泽西州新不伦瑞克，1990年，DIMACS，Ser。谨慎。数学。西奥。计算。科学。3, 321-340 (1991).MSC公司：60年第68季度 2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Godefroid}，in：计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI:美国数学学会；纽约州纽约市：计算机协会。321--340（1991年；Zbl 0786.68061）
里扎德·贾尼基;马西耶·库特尼 关于优化模拟的一些实现。 （英文） Zbl 0797.68111号 90年计算机辅助验证。第二届DIMACS研讨会，新泽西州新不伦瑞克，1990年，DIMACS，Ser。谨慎。数学。西奥。计算。科学。3231-250（1991年）。MSC公司：60年第68季度 2010年第68季度 68平方英寸 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}和\textit{M.Koutny}，in：计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI:美国数学学会；纽约州纽约市：计算机协会。231--250（1991年；Zbl 0797.68111）
拉杰夫·阿鲁尔;科斯塔斯·库库贝蒂斯;大卫·迪尔 概率实时系统的模型检查。 （英文） Zbl 0769.68088号 自动化、语言和编程、Proc。第18国际学院，马德里/西班牙，1991年，法律。注释计算。科学。510, 115-126 (1991).MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，Lect。注释计算。科学。510115-126（1991年；Zbl 0769.68088）
安妮·康登 最大字数问题的复杂性。 （英文） Zbl 0773.68039号 计算机科学的理论方面。第8年。交响乐团。，德国汉堡STACS’91。1991年，法律。注释计算。科学。480, 456-465 (1991).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Condon}，莱克特。注释计算。科学。480、456--465（1991年；Zbl 0773.68039）
蒂埃里·杰伦 Fifo通道的无界性测试。 （英文） Zbl 0764.68005号 计算机科学的理论方面。第8年。交响乐团。，STACS’91，汉堡/德国。1991年，法律。注释计算。科学。480, 322-333 (1991).MSC公司：68M10个 60年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信{T.Jeron}，Lect。注释计算。科学。480、322--333（1991年；Zbl 0764.68005）
辛西娅·德沃克;拉里·斯托克迈耶 有限状态验证器的零知识。 （英文） Zbl 0716.68033号 密码学进展-Crypto’88，Proc。Conf.，圣巴巴拉，加利福尼亚州/美国，1988年，Lect。不是。计算。科学。403, 71-75 (1990). 审核人：J.维斯科 MSC公司：2005年第68季度 65年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式
拉杰夫·阿鲁尔;大卫·迪尔 用于实时系统建模的自动机。 （英文） Zbl 0765.68150号 自动化、语言和编程、Proc。第17国际学院，沃里克/GB 1990，法律。注释计算。科学。443, 322-335 (1990).MSC公司：65年第68季度 60年第68季度 68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{D.Dill}，Lect。注释计算。科学。443、322--335（1990年；Zbl 0765.68150）
E.M.克拉克。;I.A.布朗。;库尔山，R.P。 一种统一的方法，用于显示各种类型的\（\omega \）-自动机之间的语言包含和等价性。 （英文） Zbl 0759.68063号 CAAP’90，程序。第15届Colloq.，哥本哈根/丹麦，1990年，法律。注释计算。科学。431, 103-116 (1990).MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}等人，Lect。注释计算。科学。431103--116（1990年；Zbl 0759.68063）
亚里士多德·阿拉珀塔提斯;马库斯，史蒂文一世。 不完全观测马氏链的自适应估计。 （英文） Zbl 0673.93074号 非线性系统的分析与控制。巴普。第八国际交响乐团。数学。网络系统。，菲尼克斯/亚利桑那州。1987, 3-12 (1988).MSC公司：93E10型 60J10型 93C40型 93E25型 62L20型 PDF格式BibTeX公司 XML格式
多伦德鲁辛斯基;大卫·哈雷 关于协作并发的威力。 （英文） Zbl 0663.68062号 88年并发，Proc。国际会议，汉堡/FRG 1988，Lect。注释计算。科学。335，73-103（1988）中所述。MSC公司：2005年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式
雷恩·斯梅丁加 使用跟踪理论建模离散事件。 （英文） Zbl 0644.93033号 离散事件系统：模型和应用，IIASA Conf.，Sopron/Hung。1987年，Lect。票据控制信息科学。103, 81-99 (1988). 审核人：A.德卢卡 MSC公司：93C55美元 第68页第25页 65年第68季度 93立方 PDF格式BibTeX公司 XML格式
D.布鲁西。;皮奇奇尼，G。;北萨巴迪尼。 关于最小异步自动机的存在性和明确的正则跟踪语言的决策问题。 （英文） Zbl 0644.68099号 STACS 88，计算机科学的理论方面，Proc。第5年。交响乐团。，波尔多/法国1988年，Lect。注释计算。科学。294, 334-345 (1988).MSC公司：65年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式
斯科特·斯莫尔卡。;Kanellakis，巴黎C。 通信有限状态过程静态分析的最新结果。 （英文） Zbl 0637.68059号 分布式计算和通信的最新进展，208-233（1987）。 审核人：W.A.莫里斯 MSC公司：70年第68季度 第68页第25页 68问题85 PDF格式BibTeX公司 XML格式
迪迪埃，发酵;布里吉特·罗佐伊 分布式终端问题的解决方案。 （英文） Zbl 0627.68020号 并行算法和体系结构。国际研讨会，Suhl/GDR 1987，数学。第38号决议，第114-121号决议（1987年）。MSC公司：第68页第25页 PDF格式BibTeX公司 XML格式
W.M.祖贝雷克。 M-timed Petri网、优先级、抢占和系统性能评估。 （英文） Zbl 0611.68009号 Petri网进展，Sel。巴普。第六届欧洲研讨会申请。理论Petri网，Espoo/Finl。1985年，Lect。注释计算。科学。222, 478-498 (1986).MSC公司：68平方米 68问题85 60K25码 第68页第25页 PDF格式BibTeX公司 XML格式
路易斯·罗西尔（Louis E.Rosier）。;Yen、Hsu-Chun 概率并发有限状态程序公平终止判定的复杂性。 （英文） Zbl 0607.68012号 自动化、语言和编程、Proc。第13国际学院，雷恩/法国，1986年，法律。注释计算。科学。226, 334-343 (1986). 审核人：J.只是 MSC公司：60年第68季度 第68页第25页 65年第68季度 PDF格式BibTeX公司 XML格式
Rodney R.豪厄尔。;路易斯·罗西尔（Louis E.Rosier）。 一类可逆有界多计数器非空问题的分析。 （英文） Zbl 0603.68046号 计算机科学数学基础。第十二交响曲。，布拉迪斯拉发/捷克。1986年，勒克特。注释计算。科学。233, 422-430 (1986).MSC公司：65年第68季度 2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式
彼得·斯塔克。 多处理器系统及其并发性。 （英文） Zbl 0576.68045号 计算机科学数学基础。第十一交响曲。，普拉哈/捷克。1984年，Lect。注释计算。科学。176, 516-525 (1984). 审核人：R.Janicki公司 MSC公司：68问题85 第68页第25页 PDF格式BibTeX公司 XML格式
查尔斯·斯瓦特;达纳·理查兹 确定两人游戏的策略。 （英文） Zbl 0556.90097号 组合数学，图论与计算，Proc。东南第15。路易斯安那州立大学，1984年，国会。Numerantium 45193-205（1984）。MSC公司：91A05型 03日第10天 68T05型 03天35分 91A20型 PDF格式BibTeX公司 XML格式
M.G.古达。;路易斯·罗西尔（Louis E.Rosier）。 用优先级通道通信有限状态机。 （英文） Zbl 0553.68038号 自动化、语言和编程，安特卫普/贝尔格第11大学。1984年，Lect。注释计算。科学。172, 209-221 (1984).MSC公司：65年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式
斯科特·斯莫尔卡。 一类通信过程的多项式时间分析。 （英文） Zbl 0548.68020号 编程，程序。国际交响乐团。，第六科洛克，图卢兹，1984年，马萨诸塞州。注释计算。科学。167, 251-262 (1984).MSC公司：第68页第25页 PDF格式BibTeX公司 XML格式