作　　者：Alejandro Mario Hernandez ;Flemming Nielson

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;38:29-43.doi:10.4204/EPTCS.38.5

出 版 社：Open Publishing Association

文 章 ID：83120041

作　　者：Lei Song ;Flemming Nielson ;Bo Friis Nielsen

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;57:74-88.doi:10.4204/EPTCS.57.6

出 版 社：Open Publishing Association

文 章 ID：83120198

作　　者：Panagiotis Vasilikos ;Flemming Nielson ;Hanne Riis Nielson

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

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

文 章 ID：202422014

作　　者：Lijun Zhang ;David Jansen ;Flemming Nielson 等

出　　处：Logical Methods in Computer Science. 2012 ;8(2):1.doi:10.2168/LMCS-8(2:17)2012

出 版 社：Technical University of Braunschweig

文 章 ID：264691996

作　　者：Lei Song ;Lijun Zhang ;Jens Godskesen 等

出　　处：Logical Methods in Computer Science. 2013 ;9(2):1.doi:10.2168/LMCS-9(2:7)2013

出 版 社：Technical University of Braunschweig

文 章 ID：264692045

作　　者：Roberto Vigo ;Flemming Nielson ;Hanne Riis Nielson

出　　处：Logical Methods in Computer Science. 2016 ;12(4):1.doi:10.2168/LMCS-12(4:5)2016

出 版 社：Technical University of Braunschweig

文 章 ID：264692058