作　　者：Emmanuel Filiot ;Shibashis Guha ;Nicolas Mazzocchi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;150:1-14.doi:10.4230/LIPIcs.FSTTCS.2019.40

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

文 章 ID：241519894

作　　者：Emmanuel Filiot ;Nicolas Mazzocchi ;Jean-Fran{\c{c}}ois Raskin 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:17:1-17:21.doi:10.4230/LIPIcs.CONCUR.2020.17

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

文 章 ID：255822876

作　　者：Isma{"e}l Jecker ;Orna Kupferman ;Nicolas Mazzocchi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;170:51:1-51:12.doi:10.4230/LIPIcs.MFCS.2020.51

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

文 章 ID：255822961