作　　者：Mikolaj Bojanczyk ;Hugo Gimbert ;Edon Kelmendi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:106:1-106:13.doi:10.4230/LIPIcs.ICALP.2017.106

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

文 章 ID：198372060

作　　者：Shaull Almagor ;Edon Kelmendi ;Jo{"e}l Ouaknine 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:107:1-107:15.doi:10.4230/LIPIcs.ICALP.2020.107

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

文 章 ID：255823142

作　　者：Nathanaël Fijalkow ;Hugo Gimbert ;Edon Kelmendi 等

出　　处：Logical Methods in Computer Science. 2015 ;11(2):1.doi:10.2168/LMCS-11(2:12)2015

出 版 社：Technical University of Braunschweig

文 章 ID：264692233