作 者:Daniel Casini ;Tobias Bla{\ss ;Ingo Lütkebohle 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;133:1-23.doi:10.4230/LIPIcs.ECRTS.2019.6
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238892113
作 者:Tobias Bla{\ss ;Sebastian Hahn ;Jan Reineke
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;76:26:1-26:22.doi:10.4230/LIPIcs.ECRTS.2017.26
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:197690019