作 者: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