作　　者：Esparza, Javier ;Gaiser, Andreas ;Kiefer, Stefan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;5.doi:10.4230/LIPIcs.STACS.2010.2468

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

文 章 ID：87958864

作　　者：Walukiewicz, Igor ;Muscholl, Anca ;Kuperberg, Denis 等

出　　处：Logical Methods in Computer Science. 2018 ;14(1).

出 版 社：Technical University of Braunschweig

文 章 ID：1011733768

作　　者：Esparza, Javier ;Kiefer, Stefan ;Křetínský, Jan 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;203.doi:10.4230/LIPIcs.CONCUR.2021.5

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

文 章 ID：1037088696

作　　者：Esparza, Javier

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;213.doi:10.4230/LIPIcs.FSTTCS.2021.2

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

文 章 ID：1037089200