作 者:Ye, Xialong ;Prieto, Juan Manuel Rodríguez ;Müller, Ralf
出 处:OASIcs : OpenAccess Series in Informatics. 2021 ;89:13:1-13:9.doi:10.4230/OASIcs.iPMVM.2020.13
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:262323394
作 者:Sridhar, Praveen ;Mannherz, Daniel ;Bilz, Raphael 等
出 处:OASIcs : OpenAccess Series in Informatics. 2021 ;89:16:1-16:20.doi:10.4230/OASIcs.iPMVM.2020.16
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:262323397