作　　者：Ali Assaf ;Simon Perdrix

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;88:16-27.doi:10.4204/EPTCS.88.2

出 版 社：Open Publishing Association

文 章 ID：83120425

作　　者：Ali Assaf ;Alejandro Díaz-Caro ;Simon Perdrix 等

出　　处：Logical Methods in Computer Science. 2014 ;10(4):1.doi:10.2168/LMCS-10(4:8)2014

出 版 社：Technical University of Braunschweig

文 章 ID：264692172

作　　者：Ali Assaf

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:31-44.doi:10.4230/LIPIcs.TLCA.2015.31

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

文 章 ID：186846854

作　　者：Ali Assaf

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;39:27-46.doi:10.4230/LIPIcs.TYPES.2014.27

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

文 章 ID：186847078