作　　者：Shirmohammadi, Mahsa ;Kiefer, Stefan ;Fijalkow, Nathanaël

出　　处：Logical Methods in Computer Science. 2020 ;16(2):1-28.

出 版 社：Technical University of Braunschweig

文 章 ID：1035318178

作　　者：Casares, Antonio ;Colcombet, Thomas ;Fijalkow, Nathanaël

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;198.doi:10.4230/LIPIcs.ICALP.2021.123

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：1037088397

作　　者：Matricon, Théo ;Anastacio, Marie ;Fijalkow, Nathanaël 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;210.doi:10.4230/LIPIcs.CP.2021.43

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：1037088993