作 者:Adolfo Piperno
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;103:30:1-30:13.doi:10.4230/LIPIcs.SEA.2018.30
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:220015039
作 者:Daniele Gorla ;Ivano Salvo ;Adolfo Piperno
出 处:Electronic Proceedings in Theoretical Computer Science. 2019 ;300:86-101.doi:10.4204/EPTCS.300.6
出 版 社:Open Publishing Association
文 章 ID:1034958409