作 者:Oded Maler ;Kim G. Larsen ;Bruce H. Krogh
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;39:33-46.doi:10.4204/EPTCS.39.3
出 版 社:Open Publishing Association
文 章 ID:83120051
作 者:Uli Fahrenberg ;Claus Thrane ;Kim G. Larsen
出 处:Electronic Proceedings in Theoretical Computer Science. 2011 ;57:134-147.doi:10.4204/EPTCS.57.10
出 版 社:Open Publishing Association
文 章 ID:83120202
作 者:Peter Bulychev ;Alexandre David ;Kim G. Larsen 等
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;78:1-14.doi:10.4204/EPTCS.78.1
出 版 社:Open Publishing Association
文 章 ID:83120470
作 者:Alexandre David ;Dehui Du ;Kim G. Larsen 等
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;92:122-136.doi:10.4204/EPTCS.92.9
出 版 社:Open Publishing Association
文 章 ID:83120564
作 者:Kenneth Y. Jørgensen ;Kim G. Larsen ;Jiří Srba
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;102:141-155.doi:10.4204/EPTCS.102.13
出 版 社:Open Publishing Association
文 章 ID:83120653
作 者:Kim G. Larsen ;Radu Mardare ;Claus Thrane
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;103:33-47.doi:10.4204/EPTCS.103.4
出 版 社:Open Publishing Association
文 章 ID:83120659
作 者:Zheng Wang ;Geguang Pu ;Jianwen Li 等
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;105:135-149.doi:10.4204/EPTCS.105.10
出 版 社:Open Publishing Association
文 章 ID:83120683
作 者:Francois Laroussinie ;Kim G. Larsen ;Carsten Weise
出 处:BRICS Report Series. 1995 ;2(2).
出 版 社:Aarhus University
文 章 ID:101759801
作 者:Kim G. Larsen ;Paul Pettersson ;Wang Yi
出 处:BRICS Report Series. 1996 ;3(59).
出 版 社:Aarhus University
文 章 ID:101759802
作 者:Luca Aceto ;Patricia Bouyer ;Augusto Burgueno 等
出 处:BRICS Report Series. 1998 ;5(48).
出 版 社:Aarhus University
文 章 ID:101759857