作 者:Andr{\'e} Joaquim ;Miguel L. Pardal ;Miguel Correia
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;95:28:1-28:16.doi:10.4230/LIPIcs.OPODIS.2017.28
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:220015320