. . . . . 《赫尔曼·杰弗斯：轩尼诗-米尔纳逻辑中的冷漠和区别公式》（2022）。 . . _：ID_d6fad1e548935bffaef0fd8d9ec691be。_：ID_d6fad1e548935bffaef0fd8d9ec691be ._：ID_d6fad1e548935bffaef0fd8d9ec691be ._：ID_d6fad1e548935bffaef0fd8d9ec691be“conf/生日/Geuvers22”。 _：ID_d798da2eaa040c4252fea42f76be2ddc。_：ID_d798da2eaa040c4252fea42f76be2ddc ._：ID_d798da2eaa040c4252fea42f76be2ddc ._：ID_d798da2eaa040c4252fea42f76be2ddc"10.1007/978-3-031-15629-8_14" . “轩尼诗-米尔纳逻辑中的抽象和区别公式”。 . . “1”^^. _：Sig_34938ca7f269ebbb0c89b850489d217a_1。_：Sig_34938ca7f269ebbb0c89b850489d217a_1 ._：Sig_34938ca7f269ebbb0c89b850489d217a_1“赫尔曼·杰弗斯”。_：信号_34938ca7f269ebbb0c89b850489d217a_1 ._：Sig_34938ca7f269ebbb0c89b850489d217a_1“1”^^._：Sig_34938ca7f269ebbb0c89b850489d217a_1 . . . . "266-282" . “从过程代数到时间自动机到模型学习的旅程”。 “从过程代数到时间自动机到模型学习的旅程”。 "2022"^^. "2022"^^. . “dblp记录'conf/birthary/Geuvers22'的RDF数据的起源信息”。 . . . “2022-09-19T19:04:17+0200”。