作　　者：H. J. Sander Bruggink ;Rapha{\"e}l Cauderlier ;Mathias H{\"u}lsbusch 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:191-203.doi:10.4230/LIPIcs.FSTTCS.2011.191

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

文 章 ID：186845878

作　　者：Rapha{\"e}l Cauderlier ;Catherine Dubois

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;39:47-71.doi:10.4230/LIPIcs.TYPES.2014.47

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

文 章 ID：186847079