作　　者：Sylvain Schmitz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-15.doi:10.4230/LIPIcs.ICALP.2019.129

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

文 章 ID：238892264

作　　者：Sylvain Schmitz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;183:3:1-3:3.doi:10.4230/LIPIcs.CSL.2021.3

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

文 章 ID：258514165

作　　者：Christoph Haase ;Sylvain Schmitz ;Philippe Schnoebelen

出　　处：Logical Methods in Computer Science. 2014 ;10(4):1.doi:10.2168/LMCS-10(4:4)2014

出 版 社：Technical University of Braunschweig

文 章 ID：264692174

作　　者：J{\'e}r{\^o}me Leroux ;Sylvain Schmitz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;47:1:1-1:13.doi:10.4230/LIPIcs.STACS.2016.1

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

文 章 ID：186847215

作　　者：David Baelde ;Simon Lunel ;Sylvain Schmitz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:32:1-32:16.doi:10.4230/LIPIcs.CSL.2016.32

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

文 章 ID：186847949

作　　者：Jean Goubault-Larrecq ;Sylvain Schmitz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:97:1-97:15.doi:10.4230/LIPIcs.ICALP.2016.97

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

文 章 ID：186847694

作　　者：David Baelde ;Anthony Lick ;Sylvain Schmitz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;122:1-19.doi:10.4230/LIPIcs.FSTTCS.2018.15

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

文 章 ID：230213164