作 者:law_et_al:LIPIcs: : , author {Stephen Law ;Iain Bate ;Benjamin Lesage
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;133:1-22.doi:10.4230/LIPIcs.ECRTS.2019.8
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238892115
作 者:Robert I. Davis ;Iain Bate ;Guillem Bernat 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;106:7:1-7:24.doi:10.4230/LIPIcs.ECRTS.2018.7
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:220014964