作　　者：Julian D'Costa ;Engel Lefaucheux ;Jo{"e}l Ouaknine 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;154:49:1-49:11.doi:10.4230/LIPIcs.STACS.2020.49

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

文 章 ID：255823588

作　　者：B{\'e}atrice B{\'e}rard ;Serge Haddad ;Engel Lefaucheux

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:13:1-13:14.doi:10.4230/LIPIcs.FSTTCS.2017.13

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

文 章 ID：220015398

作　　者：Christel Baier ;Florian Funke ;Simon Jantsch 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-17.doi:10.4230/LIPIcs.FSTTCS.2020.36

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

文 章 ID：257805106

作　　者：Nathalie Bertrand ;Serge Haddad ;Engel Lefaucheux

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:417-429.doi:10.4230/LIPIcs.FSTTCS.2014.417

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

文 章 ID：186846622

作　　者：Thomas Brihaye ;Gilles Geeraerts ;Axel Haddad 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:278-292.doi:10.4230/LIPIcs.FSTTCS.2015.278

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

文 章 ID：186847191

作　　者：Nathalie Bertrand ;Serge Haddad ;Engel Lefaucheux

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:37:1-37:15.doi:10.4230/LIPIcs.CONCUR.2016.37

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

文 章 ID：186847595