作 者:Suvam Mukherjee ;Nitin John Raj ;Krishnan Govindraj 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;134:1-29.doi:10.4230/LIPIcs.ECOOP.2019.18
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238892096
作 者:Akash Lal ;S. Akshay ;Saket Saurabh 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;65:0:i-0:xiv.doi:10.4230/LIPIcs.FSTTCS.2016.0
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186848120