. . . . . “Hubert Garavel和Fr\u00E9d\u00E9 ric Lang：40年后的等价性检查：互模拟工具的回顾。（2022）”。 . . _：ID_db40dc613e3086202c7df101aa89c021。_：ID_db40dc613e3086202c7df101aa89c021 ._：ID_db40dc613e3086202c7df101aa89c021 ._：ID_db40dc613e3086202c7df101aa89c021“conf/生日/GaravelL22”。 _：ID_0a6e47e0e92ee69de13eb62d003df182。_：ID_0a6e47e0e92ee69de13eb62d003df182 ._：ID_0a6e47e0e92ee69de13eb62d003df182 ._：ID_0a6e47e0e92ee69de13eb62d003df182"10.1007/978-3-031-15629-8_13" . “40年后的等效性检查：互模拟工具综述”。 . . . "2"^^. _：Sig_9e997c1f99b9e564efd690c006131f65_1。_：信号_9e997c1f99b9e564efd690c006131f65_1 ._：Sig_9e997c1f99b9e564efd690c006131f65_1“休伯特·加拉维”。_：信号_9e997c1f99b9e564efd690c006131f65_1 ._：Sig_9e997c1f99b9e564efd690c006131f65_1"1"^^._：Sig_9e997c1f99b9e564efd690c006131f65_1 . _：Sig_9e997c1f99b9e564efd690c006131f65_2。_：Sig_9e997c1f99b9e564efd690c006131f65_2 ._：Sig_9e997c1f99b9e564efd690c006131f65_2“Fr\u00E9d\u00E9瑞克·朗”。_：Sig_9e997c1f99b9e564efd690c006131f65_2 ._：Sig_9e997c1f99b9e564efd690c006131f65_2"2"^^._：Sig_9e997c1f99b9e564efd690c006131f65_2 . . . . "213-265" . “从过程代数到时间自动机到模型学习的旅程”。 “从过程代数到时间自动机到模型学习的旅程”。 "2022"^^. "2022"^^. . “dblp记录'conf/birthary/GaravelL22'的RDF数据的起源信息”。 . . . “2022-09-19T19:04:17+0200”。