作　　者：Katrin Iltgen ;Walter Vogler

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;8:66-80.doi:10.4204/EPTCS.8.6

出 版 社：Open Publishing Association

文 章 ID：83119752

作　　者：Federico Buti ;Massimo Callisto De Donato ;Flavio Corradini 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;54:45-59.doi:10.4204/EPTCS.54.4

出 版 社：Open Publishing Association

文 章 ID：83120158

作　　者：Flavio Corradini ;Maria Rita Di Berardini ;Walter Vogler

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;64:31-43.doi:10.4204/EPTCS.64.3

出 版 社：Open Publishing Association

文 章 ID：83120277

作　　者：Gerald Lüttgen ;Walter Vogler

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

出 版 社：Technical University of Braunschweig

文 章 ID：264692027

作　　者：Gerald Lüttgen ;Walter Vogler

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

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

文 章 ID：185434297