作 者:Ouaknine, Joël
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-3.doi:10.4230/LIPIcs.FSTTCS.2020.4
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:257805074
作 者:Christel Baier ;Florian Funke ;Simon Jantsch 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-17.doi:10.4230/LIPIcs.FSTTCS.2020.36
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:257805106
作 者:Worrell, James ;Pouly, Amaury ;Ouaknine, Joël 等
出 处:Logical Methods in Computer Science. 2018 ;14(4).doi:10.23638/LMCS-14(4:20)2018
出 版 社:Technical University of Braunschweig
文 章 ID:1024654175
作 者:Neumann, Eike ;Ouaknine, Joël ;Worrell, James
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;198.doi:10.4230/LIPIcs.ICALP.2021.99
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:1037088386
作 者:D'Costa, Julian ;Karimov, Toghrul ;Majumdar, Rupak 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;202.doi:10.4230/LIPIcs.MFCS.2021.34
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:1037088643
作 者:D'Costa, Julian ;Lefaucheux, Engel ;Neumann, Eike 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;202.doi:10.4230/LIPIcs.MFCS.2021.33
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:1037088645
作 者:Kenison, George ;Klurman, Oleksiy ;Lefaucheux, Engel 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;202.doi:10.4230/LIPIcs.MFCS.2021.67
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:1037088647
作 者:Ouaknine, Joël
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;202.doi:10.4230/LIPIcs.MFCS.2021.3
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:1037088669
作 者:Baier, Christel ;Funke, Florian ;Jantsch, Simon 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;203.doi:10.4230/LIPIcs.CONCUR.2021.28
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:1037088705