作 者:Urbat, Henning ;Milius, Stefan ;Adamek, Jiří
出 处:Logical Methods in Computer Science. 2018 ;14(2).doi:10.23638/LMCS-14(2:9)2018
出 版 社:Technical University of Braunschweig
文 章 ID:1021277427
作 者:Myers, Robert S.R. ;Urbat, Henning
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;202.doi:10.4230/LIPIcs.MFCS.2021.78
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:1037088633
作 者:Urbat, Henning ;Hausmann, Daniel ;Milius, Stefan 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;203.doi:10.4230/LIPIcs.CONCUR.2021.4
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:1037088706