作 者:Rabéa Ameur-Boulifa ;Ludovic Henrio ;Eric Madelaine
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;37:42-56.doi:10.4204/EPTCS.37.4
出 版 社:Open Publishing Association
文 章 ID:83120032