作 者:Martin S. Engler ;Bertrand Caron ;Lourens Veen 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;113:1-13.doi:10.4230/LIPIcs.WABI.2018.16
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213589