安蒂·瓦尔马里 低于稳定性保持公平测试或CFFD的所有同余。 （英文） Zbl 1452.68128号 学报信息。 57，编号3-5，353-383（2020）. 审核人：艾哈迈特·库萨诺夫（Komsomolsk-om-Amur） MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari}，《信息学报》第57期，第3--5、353--383号（2020年；Zbl 1452.68128） 全文： 内政部
安蒂·瓦尔马里 从其他LTS算子看LTS算子的可构造性和不可构造性。 （英文） Zbl 1328.68140号 学报信息。 52，编号2-3，207-234（2015）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari}，《信息学报》第52期，第2--3207--234号（2015年；Zbl 1328.68140） 全文： 内政部
史蒂夫·里夫斯;大卫·斯特雷德 语境、精炼和决定论。 （英文） Zbl 1219.68091号 科学。计算。程序。 76，第9期，774-791（2011）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit｛S.Reeves｝和\textit｛D.Streader｝，科学。计算。程序。76，第9号，774--791（2011；Zbl 1219.68091） 全文： 内政部 链接
M.伊扎迪。;莫瓦加尔，A。 基于故障的约束自动机等价。 （英文） Zbl 1205.68203号 国际期刊计算。数学。 87，第11期，2426-2443（2010）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Izadi}和\textit{A.Movaghar}，国际计算机杂志。数学。87，第11号，2426--2443（2010；Zbl 1205.68203） 全文： 内政部
穆罕默德·伊扎迪;阿里·莫瓦加尔 基于组合故障的约束自动机等价。 （英文） Zbl 1339.68187号 Michael Goldsmith（编辑）等人，《关键系统自动验证第七届国际研讨会论文集》（AVoCS 2007），英国牛津，2007年9月10日至12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记250，第1期，105-122（2009）。MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Izadi}和\textit{A.Movaghar}，电子。注释Theor。计算。科学。250，第1号，第105-122条（2009年；Zbl 1339.68187） 全文： 内政部
埃尔克·博伊滕;约翰·德里克;格哈德·谢尔霍恩 关系并发细化。二： 内部操作和输出。 （英文） Zbl 1165.68412号 正式Asp。计算。 21，编号1-2，65-102（2009）.MSC公司：第68季度第65季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Boiten}等人，正式Asp。计算。21，编号1--2，65-102（2009；Zbl 1165.68412） 全文： 内政部
史蒂夫·里夫斯;大卫·斯特雷德 一般改进。一： 接口、确定性和特殊细化。 （英文） Zbl 1283.68254号 Boiten，Eerke（编辑）等人，《第13届BCS-FACS精炼研讨会论文集》（REFINE 2008），芬兰图尔库，2008年5月27日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记214277-307（2008）。MSC公司：68问题85 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Reeves}和\textit{D.Streader}，电子。注释Theor。计算。科学。214277-307（2008年；Zbl 1283.68254） 全文： 内政部
阿伦德·伦辛克;沃尔特·福格勒 公平测试。 （英文） Zbl 1109.68077号 Inf.计算。 205，第2期，125-198（2007）.MSC公司：68问题85 68问题55 60年第68季度 68米15 PDF格式BibTeX公司 XML格式引用 \textit{A.Rensink}和\textit{W.Vogler}，Inf.Comput。205，编号2，125--198（2007；Zbl 1109.68077） 全文： 内政部 链接
T·卡维。;蒂纳里，M。;R·凯沃拉。 修饰跟踪语义中过程代数规范的逐步开发。 （英文） Zbl 1083.68080号 形式方法系统。设计。 26，第3期，293-317（2005）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Karvi}等人，《形式方法系统》。设计。26，第3号，293--317（2005；Zbl 1083.68080） 全文： 内政部
拉内·克利维兰;杰拉尔德·吕特根 逻辑过程演算。 （英文） Zbl 1270.68210号 Nestmann，Uwe（编辑）等人，EXPRESS’02。第九届并发表现力国际研讨会论文，2002年8月19日，捷克共和国布尔诺。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第2期，33-50（2002）。MSC公司：68问题85 03B44号 68问题55 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Cleaveland}和\textit{G.Lüttgen}，电子。注释Theor。计算。科学。68，第2号，33--50（2002；Zbl 1270.68210） 全文： 内政部
安蒂·瓦尔马里 状态空间验证方法中的组合性。 （英文） Zbl 1418.68155号 Billington，Jonathan（编辑）等人，《Petri网的应用和理论》，1996年。第17届国际会议，日本大阪，1996年6月24日至28日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1091, 29-56 (1996).MSC公司：68问题85 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari}，莱克特。注释计算。科学。1091、29-56（1996年；Zbl 1418.68155） 全文： 内政部
安蒂·瓦尔马里 最弱的死锁提供了一致性。 （英文） 兹伯利0875.68620 信息处理。莱特。 53，第6号，341-346（1995）.MSC公司：68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari}，Inf.过程。莱特。53，第6号，341--346（1995；Zbl 0875.68620） 全文： 内政部