作　　者：Ernst Moritz Hahn ;Arnd Hartmanns ;Holger Hermanns

出　　处：Electronic Communications of the EASST. 2014 ;70.

出 版 社：European Association of Software Science and Technology (EASST)

文 章 ID：100465473

作　　者：Yuan Feng ;Ernst Moritz Hahn ;Andrea Turrini 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:35:1-35:16.doi:10.4230/LIPIcs.CONCUR.2017.35

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

文 章 ID：200735201

作　　者：Ernst Moritz Hahn ;Mateo Perez ;Sven Schewe 等

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

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

文 章 ID：255822880

作　　者：Ernst Moritz Hahn ;Guangyuan Li ;Sven Schewe 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:354-367.doi:10.4230/LIPIcs.CONCUR.2015.354

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

文 章 ID：186847021