作 者:Ziemiański, Krzysztof ;Trotter, Christopher A. ;Johansen, Christian 等
出 处:Logical Methods in Computer Science. 2021 ;17(3):1-32.
出 版 社:Technical University of Braunschweig
文 章 ID:1035318275