作 者:Fabian Reiter
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:100:1-100:14.doi:10.4230/LIPIcs.ICALP.2017.100
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:198372054
作 者:Javier Esparza ;Fabian Reiter
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:10:1-10:16.doi:10.4230/LIPIcs.CONCUR.2020.10
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255822869