作　　者：Laurent Doyen ;Thierry Massart ;Mahsa Shirmohammadi

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;50:61-75.doi:10.4204/EPTCS.50.5

出 版 社：Open Publishing Association

文 章 ID：83120136

作　　者：Jean-Francois Raskin ;Krishnendu Chatterjee ;Laurent Doyen 等

出　　处：Logical Methods in Computer Science. 2007 ;3(03).doi:10.2168/LMCS-3(3:4)2007

出 版 社：Technical University of Braunschweig

文 章 ID：46838667

作　　者：Laurent Doyen ;Jean-François Raskin

出　　处：Logical Methods in Computer Science. 2009 ;5(01).doi:10.2168/LMCS-5(1:5)2009

出 版 社：Technical University of Braunschweig

文 章 ID：47109788

作　　者：Dietmar Berwanger ;Laurent Doyen

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;154:48:1-48:17.doi:10.4230/LIPIcs.STACS.2020.48

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

文 章 ID：255823587

作　　者：Dietmar Berwanger ;Laurent Doyen

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;2:73-82.doi:10.4230/LIPIcs.FSTTCS.2008.1742

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

文 章 ID：186845516

作　　者：Krishnendu Chatterjee ;Laurent Doyen ;Thomas A. Henzinger 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:505-516.doi:10.4230/LIPIcs.FSTTCS.2010.505

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

文 章 ID：186845797

作　　者：Laurent Doyen ;Line Juhl ;Kim G. Larsen 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:121-132.doi:10.4230/LIPIcs.FSTTCS.2014.121

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

文 章 ID：186846601

作　　者：Krishnendu Chatterjee ;Laurent Doyen

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:98:1-98:14.doi:10.4230/LIPIcs.ICALP.2016.98

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

文 章 ID：186847695