作 者:Han Chen ;Pasquale Malacaria
出 处:Electronic Proceedings in Theoretical Computer Science. 2009 ;7:1-15.doi:10.4204/EPTCS.7.1
出 版 社:Open Publishing Association
文 章 ID:83119741
作 者:Fabrizio Biondi ;Axel Legay ;Bo Friis Nielsen 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:517-529.doi:10.4230/LIPIcs.FSTTCS.2014.517
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846630