作 者:Marko Bertogna ;Federico Terraneo
出 处:OASIcs : OpenAccess Series in Informatics. 2020 ;77:1-10.doi:10.4230/OASIcs.NG-RES.2020.0
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:243494332
作 者:Jos Martins ;Adriano Tavares ;Marco Solieri 等
出 处:OASIcs : OpenAccess Series in Informatics. 2020 ;77:1-14.doi:10.4230/OASIcs.NG-RES.2020.3
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:243494335
作 者:Roberto Cavicchioli ;Nicola Capodieci ;Marco Solieri 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;133:1-22.doi:10.4230/LIPIcs.ECRTS.2019.22
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238892129
作 者:Marko Bertogna
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;76:0:i-0:xvi.doi:10.4230/LIPIcs.ECRTS.2017.0
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:197689993
作 者:Marko Bertogna ;Federico Terraneo
出 处:OASIcs : OpenAccess Series in Informatics. 2021 ;87::i-:x.doi:10.4230/OASIcs.NG-RES.2021.0
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:258514201
作 者:Schwäricke, Gero ;Tomasz Kloda ;Giovani Gracioli 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;165:1:1-1:24.doi:10.4230/LIPIcs.ECRTS.2020.1
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255823216
作 者:Vincent N{\'e}lis ;Patrick Meumeu Yomsi ;Lu{\'i}s Miguel Pinho 等
出 处:OASIcs : OpenAccess Series in Informatics. 2014 ;39:63-72.doi:10.4230/OASIcs.WCET.2014.63
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186848764