作　　者：Alessandro Facchini ;Yoichi Hirai ;Maarten Marx 等

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

出 版 社：Technical University of Braunschweig

文 章 ID：264692231

作　　者：J{\'e}r{\'e}mie Cabessa ;Jacques Duparc ;Alessandro Facchini 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;4:121-132.doi:10.4230/LIPIcs.FSTTCS.2009.2312

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

文 章 ID：186845595

作　　者：Jacques Duparc ;Alessandro Facchini ;Filip Murlak

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:363-374.doi:10.4230/LIPIcs.FSTTCS.2011.363

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

文 章 ID：186845892