作 者:Peter Bulychev ;Alexandre David ;Kim Guldstrand Larsen 等
出 处:Electronic Proceedings in Theoretical Computer Science. 2011 ;72:30-42.doi:10.4204/EPTCS.72.4
出 版 社:Open Publishing Association
文 章 ID:83120350
作 者: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
作 者:Peter Bulychev ;Alexandre David ;Kim Gulstrand Larsen 等
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;85:1-16.doi:10.4204/EPTCS.85.1
出 版 社:Open Publishing Association
文 章 ID:83120499
作 者: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
作 者:Alexandre David ;Lasse Jacobsen ;Morten Jacobsen 等
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;102:125-140.doi:10.4204/EPTCS.102.12
出 版 社:Open Publishing Association
文 章 ID:83120652
出 处:Revista Organizações em Contexto. 2005 ;2(4):215-221.
出 版 社:Universidade Metodista de São Paulo
文 章 ID:184710335
作 者:Alexandre David ;M. Oliver Möller
出 处:BRICS Report Series. 2001 ;8(11).
出 版 社:Aarhus University
文 章 ID:101759804
作 者:Leo Hatvani ;Alexandre David ;Cristina Seceleanu 等
出 处:Electronic Communications of the EASST. 2014 ;70.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:100465918
出 处:Revista Organizações em Contexto. 2006 ;2(04):215-221.
出 版 社:Universidade Metodista de São Paulo
文 章 ID:47049488
作 者:Jacek Bania ;Evelina Gatti ;Hugues Lelouard 等
出 处:Proceedings of the National Academy of Sciences. 2003 ;100(11):6664-6669.doi:10.1073/pnas.1131604100
出 版 社:The National Academy of Sciences of the United States of America
文 章 ID:200588453