作 者:Lei Song ;Flemming Nielson ;Bo Friis Nielsen
出 处:Electronic Proceedings in Theoretical Computer Science. 2011 ;57:74-88.doi:10.4204/EPTCS.57.6
出 版 社:Open Publishing Association
文 章 ID:83120198
作 者: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