作　　者：John Fearnley ;Savani, Rahul

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;187:29:1-29:16.doi:10.4230/LIPIcs.STACS.2021.29

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

文 章 ID：260022919

作　　者：Savani, Rahul ;Fearnley, John

出　　处：Logical Methods in Computer Science. 2018 ;14(4).doi:10.23638/LMCS-14(4:9)2018

出 版 社：Technical University of Braunschweig

文 章 ID：1021277390

作　　者：Savani, Rahul ;Mnich, Matthias ;Gairing, Martin 等

出　　处：Logical Methods in Computer Science. 2021 ;17(2):1-29.

出 版 社：Technical University of Braunschweig

文 章 ID：1035318259

作　　者：Savani, Rahul

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

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

文 章 ID：1037089196