作　　者：Taolue Chen ;Fu Song ;Zhilin Wu

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:37:1-37:17.doi:10.4230/LIPIcs.CONCUR.2017.37

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

文 章 ID：200735203

作　　者：Taolue Chen ;Wan Fokkink ;Rob Glabbeek

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

出 版 社：Technical University of Braunschweig

文 章 ID：264692076

作　　者：Tom{\'a}s Br{\'a}zdil ;Taolue Chen ;Vojtech Forejt 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;24:487-499.doi:10.4230/LIPIcs.FSTTCS.2013.487

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

文 章 ID：186846431

作　　者：Taolue Chen ;Tingting Han

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:571-583.doi:10.4230/LIPIcs.FSTTCS.2014.571

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

文 章 ID：186846634

作　　者：Taolue Chen ;Fu Song ;Zhilin Wu

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:254-267.doi:10.4230/LIPIcs.CONCUR.2015.254

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

文 章 ID：186847014

作　　者：Luca Aceto ;Taolue Chen ;Willem Jan Fokkink 等

出　　处：BRICS Report Series. 2006 ;13(1).

出 版 社：Aarhus University

文 章 ID：186804952

作　　者：Guisen Wu ;Liyun Dai ;Zhiming Liu 等

出　　处：IFAC PapersOnLine. 2020 ;53(2):1057-1064.doi:10.1016/j.ifacol.2020.12.1292

出 版 社：Elsevier

文 章 ID：1031640221