作　　者：Kim G. Larsen ;Paul Pettersson ;Wang Yi

出　　处：BRICS Report Series. 1996 ;3(59).

出 版 社：Aarhus University

文 章 ID：101759802

作　　者：Torsten K. Iversen ;Kåre J. Kristoffersen ;Kim G. Larsen 等

出　　处：BRICS Report Series. 1999 ;6(53).

出 版 社：Aarhus University

文 章 ID：101759897

作　　者：Thomas S. Hune ;Kim G. Larsen ;Paul Pettersson

出　　处：BRICS Report Series. 2000 ;7(37).

出 版 社：Aarhus University

文 章 ID：101759960

作　　者：Kim G. Larsen ;Paul Pettersson ;Wang Yi

出　　处：BRICS Report Series. 1996 ;3(57).

出 版 社：Aarhus University

文 章 ID：101759971

作　　者：Johan Bengtsson ;Kim G. Larsen ;Fredrik Larsson 等

出　　处：BRICS Report Series. 1996 ;3(58).

出 版 社：Aarhus University

文 章 ID：101759981

作　　者：Johan Bengtsson ;Kim G. Larsen ;Fredrik Larsson 等

出　　处：BRICS Report Series. 1996 ;3(60).

出 版 社：Aarhus University

文 章 ID：101759988

作　　者：Kåre J. Kristoffersen ;Francois Laroussinie ;Kim G. Petersen 等

出　　处：BRICS Report Series. 1996 ;3(55).

出 版 社：Aarhus University

文 章 ID：101760001

作　　者：Gerd Behrmann ;Ansgar Fehnker ;Thomas S. Hune 等

出　　处：BRICS Report Series. 2001 ;8(3).

出 版 社：Aarhus University

文 章 ID：101760033

作　　者：Gerd Behrmann ;Ansgar Fehnker ;Thomas S. Hune 等

出　　处：BRICS Report Series. 2001 ;8(4).

出 版 社：Aarhus University

文 章 ID：101760101

作　　者：Leo Hatvani ;Alexandre David ;Cristina Seceleanu 等

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

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

文 章 ID：100465918