作 者:Daniel Casini ;Tobias Bla{\ss ;Ingo Lütkebohle 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;133:1-23.doi:10.4230/LIPIcs.ECRTS.2019.6
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238892113
作 者:Daniel Casini ;Alessandro Biondi ;Giorgio Buttazzo
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;76:13:1-13:23.doi:10.4230/LIPIcs.ECRTS.2017.13
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:197690006
作 者:Daniel Bristot de Oliveira ;Daniel Casini ;R{^o}mulo Silva de Oliveira 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;165:9:1-9:23.doi:10.4230/LIPIcs.ECRTS.2020.9
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255823224