作 者:Ulrich Dorsch ;Stefan Milius ;Lutz Schr{"o}der
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-16.doi:10.4230/LIPIcs.CONCUR.2019.36
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238891944
作 者:Ulrich Dorsch ;Stefan Milius ;Lutz Schr{\"o}der 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:32:1-32:16.doi:10.4230/LIPIcs.CONCUR.2017.32
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:200735198