克里斯特尔·拜尔（Christel Baier）等人：《操作因果关系——必要充分和充分必要》。(2022) conf/生日/BaierDFJPZ22 10.1007/978-3-031-15629-8_2 操作因果关系-必要且充分必要。 6 克里斯特尔·拜尔 1 克莱门斯·杜斯拉夫 2 弗洛里安·芬克0002 三 西蒙·扬奇 4 雅各布·皮里鲍尔 5 罗宾·齐梅克 6 27-45 从过程代数到时间自动机到模型学习的旅程 从过程代数到时间自动机到模型学习的旅程 2022 2022 dblp记录“conf/bayirth/BaierDFJPZ22”的RDF数据的来源信息 2023-09-30T09:35:34+0200