作 者:Lorenzo Clemente ;S{\l}awomir Lasota ;Rados{\l}aw Pi{\'o}rkowski
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:42:1-42:17.doi:10.4230/LIPIcs.CONCUR.2020.42
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255822901
作 者:Wojciech CzerwiÅ"ski ;S{\l}awomir Lasota ;Ranko LaziÄ 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:48:1-48:21.doi:10.4230/LIPIcs.CONCUR.2020.48
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255822907