亚历克斯·科托;罗伯特·瓜夏莱;埃米利奥·托斯托 舞蹈测试的抽象框架。 (英语) Zbl 1528.68249号 J.日志。阿尔盖布。方法计划。 123,文章ID 100712,32 p.(2021).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Coto}等人,J.Log。阿尔盖布。方法程序。123,文章ID 100712,32 p.(2021;Zbl 1528.68249) 全文: 内政部 arXiv公司
D.巴兹利。;P.德加诺。;法拉利,G.L。;托斯托,E。 将编排和编排的两个基于自动机的模型联系起来。 (英语) Zbl 1352.68125号 J.日志。阿尔盖布。方法计划。 85,第3期,425-446(2016).MSC公司:65年第68季度 64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Basile}等人,J.Log。阿尔盖布。方法计划。85,第3号,425--446(2016;Zbl 1352.68125) 全文: 内政部 链接