作 者:Savani, Rahul ;Mnich, Matthias ;Gairing, Martin 等
出 处:Logical Methods in Computer Science. 2021 ;17(2):1-29.
出 版 社:Technical University of Braunschweig
文 章 ID:1035318259