作　　者：Otop, Jan ;Ibsen-Jensen, Rasmus ;Henzinger, Thomas A. 等

出　　处：Logical Methods in Computer Science. 2017 ;13(3).

出 版 社：Technical University of Braunschweig

文 章 ID：1011733826

作　　者：Chatterjee, Krishnendu ;Ibsen-Jensen, Rasmus ;Pavlogiannis, Andreas

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;213.doi:10.4230/LIPIcs.FSTTCS.2021.42

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

文 章 ID：1037089186