作　　者：Milad Aghajohari ;Guy Avni ;Thomas A. Henzinger

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-17.doi:10.4230/LIPIcs.CONCUR.2019.20

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

文 章 ID：238891928

作　　者：Guy Avni ;Thomas A. Henzinger ;Dorde Zikelic

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-13.doi:10.4230/LIPIcs.MFCS.2019.11

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

文 章 ID：238891961

作　　者：Guy Avni ;Thomas A. Henzinger ;Ventsislav Chonev

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:21:1-21:18.doi:10.4230/LIPIcs.CONCUR.2017.21

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

文 章 ID：200735187

作　　者：Guy Avni ;Shibashis Guha ;Orna Kupferman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:37:1-37:16.doi:10.4230/LIPIcs.MFCS.2017.37

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

文 章 ID：205510085

作　　者：Guy Avni ;Thomas A. Henzinger

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:2:1-2:21.doi:10.4230/LIPIcs.CONCUR.2020.2

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

文 章 ID：255822861

作　　者：Shaull Almagor ;Guy Avni ;Orna Kupferman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:325-339.doi:10.4230/LIPIcs.CONCUR.2015.325

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

文 章 ID：186847019

作　　者：Guy Avni ;Orna Kupferman ;Tami Tamir

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:365-379.doi:10.4230/LIPIcs.FSTTCS.2015.365

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

文 章 ID：186847197

作　　者：Guy Avni ;Shibashis Guha ;Orna Kupferman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;117:1-18.doi:10.4230/LIPIcs.MFCS.2018.23

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

文 章 ID：230213378