作 者:Dan Marsden ;Maaike Zwart
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;119:1-17.doi:10.4230/LIPIcs.CSL.2018.32
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213307
作 者:Maaike Zwart ;Dan Marsden
出 处:Logical Methods in Computer Science. 2022 ;18(1):1-61.doi:10.46298/lmcs-18(1:13)2022
出 版 社:Technical University of Braunschweig
文 章 ID:1038046947