作 者:Dütting, Paul ;Henzinger, Monika ;Weber, Ingmar
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;5.doi:10.4230/LIPIcs.STACS.2010.2463
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:87958858
作 者:Loitzenbauer, Veronika ;Henzinger, Monika ;Chatterjee, Krishnendu
出 处:Logical Methods in Computer Science. 2017 ;13(3).
出 版 社:Technical University of Braunschweig
文 章 ID:1011733829
作 者:Chatterjee, Krishnendu ;Henzinger, Monika ;Kale, Sagar Sudhir 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;198.doi:10.4230/LIPIcs.ICALP.2021.124
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:1037088377
作 者:Fichtenberger, Hendrik ;Henzinger, Monika ;Ost, Wolfgang
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;204.doi:10.4230/LIPIcs.ESA.2021.42
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:1037088764