作 者:Sara Capecchi ;Elena Giachino ;Nobuko Yoshida
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:338-351.doi:10.4230/LIPIcs.FSTTCS.2010.338
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845783
作 者:Frank S. de Boer ;Elena Giachino ;Stijn de Gouw 等
出 处:Electronic Proceedings in Theoretical Computer Science. 2019 ;302:1-15.doi:10.4204/EPTCS.302.1
出 版 社:Open Publishing Association
文 章 ID:1033557613