作 者:Loïc Besnard ;Thierry Gautier ;Julien Ouy 等
出 处:Electronic Proceedings in Theoretical Computer Science. 2009 ;20:80-87.doi:10.4204/EPTCS.20.9
出 版 社:Open Publishing Association
文 章 ID:83119851
作 者:Loïc Besnard ;Thierry Gautier ;Matthieu Moy 等
出 处:Electronic Communications of the EASST. 2009 ;23.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:100465626