作　　者：Andreas Holzer ;Christian Schallhart ;Michael Tautschnig 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;24:377-388.doi:10.4230/LIPIcs.FSTTCS.2013.377

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

文 章 ID：186846422

作　　者：Andreas Haas ;Thomas A. Henzinger ;Andreas Holzer 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:6:1-6:15.doi:10.4230/LIPIcs.CONCUR.2016.6

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

文 章 ID：186847565