安蒂·瓦尔马里 低于稳定性保持公平测试或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） 全文： 内政部
休伯特Garavel 重温过程计算中的序列构成。 （英语） Zbl 1330.68201号 J.日志。阿尔盖布。方法计划。 84，第6期，742-762（2015）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}，J.Log。阿尔盖布。方法计划。84，第6号，742--762（2015；Zbl 1330.68201） 全文： 内政部
杰拉尔德·吕特根;沃尔特·福格勒 准备好并发模拟：这是合乎逻辑的！ （英语） Zbl 1197.68053号 Inf.计算。 208，编号7，845-867（2010）.MSC公司：68问题85 03B70号 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}和\textit{W.Vogler}，Inf.Compute。208，第7号，845--867（2010；Zbl 1197.68053） 全文： 内政部 链接
安蒂·瓦尔马里 状态空间验证方法中的组合性。 （英语） 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） 全文： 内政部