作　　者：Mathieu Tracol ;Josée Desharnais ;Abir Zhioua

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;57:148-162.doi:10.4204/EPTCS.57.11

出 版 社：Open Publishing Association

文 章 ID：83120203

作　　者：Mathieu Tracol ;Christel Baier ;Marcus Gr{\"o}sser

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;4:395-406.doi:10.4230/LIPIcs.FSTTCS.2009.2335

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

文 章 ID：186845618

作　　者：Krishnendu Chatterjee ;Martin Chmelik ;Mathieu Tracol

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;23:165-180.doi:10.4230/LIPIcs.CSL.2013.165

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

文 章 ID：186846337