. . . . . 《兰斯·克莱维兰：通过过程代数实现更好的自动机》（2022）。 . . _：ID_1d06f4a7f797ee0734524dc357723788。_：ID_1d06f4a7f797ee0734524dc357723788 ._：ID_1d06f4a7f797ee0734524dc357723788 ._：ID_1d06f4a7f797ee0734524dc357723788“conf/生日/Cleaveland 22”。 _：ID_200b24b286f3e00414032bb750bf131c。_：ID_200b24b286f3e00414032bb750bf131c ._：ID_200b24b286f3e00414032bb750bf131c ._：ID_200b24b286f3e00414032bb750bf131c"10.1007/978-3-031-15629-8_7" . “通过过程代数实现更好的自动化”。 . . “1”^^. _：Sig_b94607d207ddeb4bd09160ed67b834cc_1。_：Sig_b94607d207ddeb4bd09160ed67b834cc_1 ._：Sig_b94607d207ddeb4bd09160ed67b834cc_1“牧场克利夫兰”。_：Sig_b94607d207ddeb4bd09160ed67b834cc_1 ._：Sig_b94607d207ddeb4bd09160ed67b834cc_1 ._：Sig_b94607d207ddeb4bd09160ed67b834cc_1“1”^^._：Sig_b94607d207ddeb4bd09160ed67b834cc_1 . . . . "116-136" . “从过程代数到时间自动机到模型学习的旅程”。 “从过程代数到时间自动机到模型学习的旅程”。 "2022"^^. "2022"^^. . “dblp记录'conf/birthary/Cleaveland22'的RDF数据的来源信息”。 . . . “2022-09-22T19:57:46+0200”。