作 者:Antonio Bucciarelli ;Alberto Carraro ;Antonino Salibra
出 处:Electronic Proceedings in Theoretical Computer Science. 2013 ;113:61-76.doi:10.4204/EPTCS.113.8
出 版 社:Open Publishing Association
文 章 ID:85357000
作 者:Alberto Carraro ;Thomas Ehrhard ;Antonino Salibra
出 处:Electronic Proceedings in Theoretical Computer Science. 2013 ;113:93-108.doi:10.4204/EPTCS.113.10
出 版 社:Open Publishing Association
文 章 ID:85357002
作 者:Alberto Carraro ;Antonino Salibra
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:152-166.doi:10.4230/LIPIcs.CSL.2012.152
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846157