作 者:Christel Baier ;Nathalie Bertrand ;Marcus Größer
出 处:Electronic Proceedings in Theoretical Computer Science. 2009 ;3:3-16.doi:10.4204/EPTCS.3.1
出 版 社:Open Publishing Association
文 章 ID:83119700