作 者:Rupak Majumdar ;Marcus Pirron ;Nobuko Yoshida 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;134:1-27.doi:10.4230/LIPIcs.ECOOP.2019.28
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238892106
作 者:Cezara Dragoi ;Thomas A. Henzinger ;Damien Zufferey
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;32:90-102.doi:10.4230/LIPIcs.SNAPL.2015.90
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846738