. . . . . 《Martin Fr\u00E4nzle：寻找密集时间度量时间逻辑的充分语义基础》（2022）。 . . _：ID_c512b5a3c4f806329d08e14c1b2b3bf1。_：ID_c512b5a3c4f806329d08e14c1b2b3bf1 ._：ID_c512b5a3c4f806329d08e14c1b2b3bf1 ._：ID_c512b5a3c4f806329d08e14c1b2b3bf1“conf/生日/Franzle22”。 _：ID_c5b0bded2668b675912a309d46bc6c91。_：ID_c5b0bded2668b675912a309d46bc6c91 ._：ID_c5b0bded2668b675912a309d46bc6c91 ._：ID_c5b0bded2668b675912a309d46bc6c91“10.1007/978-3-031-15629-8_12”。 “寻求密集时间度量时间逻辑的充分语义基础”。 . . "1"^^. _：Sig_22ab70666ece95eefaa19c0ec501cbad_1。_：Sig_22ab70666ece95eefaa19c0ec501cbad_1 ._：信号_22ab70666ece95eefaa19c0ec501cbad_1“Martin Fr\u00E4nzle”。_：Sig_22ab70666ece95eefaa19c0ec501cbad_1 ._：Sig_22ab70666ece95eefaa19c0ec501cbad_1 ._：Sig_22ab70666ece95eefaa19c0ec501cbad_1"1"^^._：Sig_22ab70666ece95eefaa19c0ec501cbad_1 . . . . "201-212" . “从过程代数到时间自动机到模型学习的旅程”。 “从过程代数到时间自动机到模型学习的旅程”。 "2022"^^. "2022"^^. . “dblp记录'conf/shairthy/Franzle22'的RDF数据的来源信息”。 . . . “2022-09-22T19:57:46+0200”。