休伯特·加拉维;弗雷德里克·朗 40年后的等效性检查：互模拟工具综述。 （英语） Zbl 1524.68189号 Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 213-265 (2022).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}和\textit{F.Lang}，莱克特。注释计算。科学。13560213--265（2022年；Zbl 1524.68189） 全文： 内政部 哈尔
托尔斯滕·维曼;汉斯·佩特·迪费尔;斯特凡·米利厄斯;卢茨·施罗德 从泛型分区细化到加权树自动机最小化。 （英语） Zbl 1519.68126号 正式Asp。计算。 33，编号4-5，695-727（2021）.MSC公司：65年第68季度 60J20型 68问题85 87年第68季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{T.Wißmann}等人，《形式语法》。计算。33，编号4--5，695--727（2021；Zbl 1519.68126） 全文： 内政部 arXiv公司 OA许可证