作 者:Karine Altisen ;Yanhong Liu ;Matthieu Moy
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;28:16-33.doi:10.4204/EPTCS.28.2
出 版 社:Open Publishing Association
文 章 ID:83119939
作 者:Loïc Besnard ;Thierry Gautier ;Matthieu Moy 等
出 处:Electronic Communications of the EASST. 2009 ;23.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:100465626