作　　者：Gordon Hoi ;Sanjay Jain ;Frank Stephan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;150:1-14.doi:10.4230/LIPIcs.FSTTCS.2019.17

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

文 章 ID：241519871

作　　者：Gordon Hoi ;Frank Stephan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;149:1-19.doi:10.4230/LIPIcs.ISAAC.2019.15

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

文 章 ID：241519921

作　　者：C.T. Chong ;Gordon Hoi ;Frank Stephan 等

出　　处：Logical Methods in Computer Science. 2015 ;11(3):1.doi:10.2168/LMCS-11(3:16)2015

出 版 社：Technical University of Braunschweig

文 章 ID：264692069