作　　者：Nadime Francis ;Luc Segoufin ;Cristina Sirangelo

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

出 版 社：Technical University of Braunschweig

文 章 ID：264692113

作　　者：Claire David ;Nadime Francis ;Filip Murlak

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:279-290.doi:10.4230/LIPIcs.FSTTCS.2014.279

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

文 章 ID：186846612

作　　者：Nadime Francis

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;31:44-59.doi:10.4230/LIPIcs.ICDT.2015.44

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

文 章 ID：186846709