作 者:Antonios Antoniadis ;Felix Biermeier ;Andrs Cristi 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;144:1-14.doi:10.4230/LIPIcs.ESA.2019.8
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:240116527
作 者:Andrs Cristi ;Mathieu Mari ;Andreas Wiese
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;154:42:1-42:17.doi:10.4230/LIPIcs.STACS.2020.42
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255823581
作 者:Andrs Cristi ;Andreas Wiese
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;154:44:1-44:14.doi:10.4230/LIPIcs.STACS.2020.44
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255823583