作　　者：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

作　　者：Mayr, Richard ;Munday, Eric

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;203.doi:10.4230/LIPIcs.CONCUR.2021.12

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：1037088726

作　　者：Kiefer, Stefan ;Mayr, Richard ;Shirmohammadi, Mahsa 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;203.doi:10.4230/LIPIcs.CONCUR.2021.11

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：1037088730