作　　者：Henning Urbat ;Jiri Ad{\'a}mek ;Liang-Ting Chen 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:43:1-43:15.doi:10.4230/LIPIcs.MFCS.2017.43

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

文 章 ID：205510091

作　　者：Jiri Ad{\'a}mek ;Stefan Milius

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;72:3:1-3:15.doi:10.4230/LIPIcs.CALCO.2017.3

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

文 章 ID：205510166