作 者:D'Costa, Julian ;Lefaucheux, Engel ;Neumann, Eike 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;202.doi:10.4230/LIPIcs.MFCS.2021.33
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:1037088645
作 者:Kenison, George ;Klurman, Oleksiy ;Lefaucheux, Engel 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;202.doi:10.4230/LIPIcs.MFCS.2021.67
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:1037088647
作 者:Baier, Christel ;Funke, Florian ;Jantsch, Simon 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;203.doi:10.4230/LIPIcs.CONCUR.2021.28
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:1037088705