作 者:Jean-Louis Giavitto ;Hanna Klaudel ;Franck Pommereau
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;40:162-177.doi:10.4204/EPTCS.40.11
出 版 社:Open Publishing Association
文 章 ID:83120067