作 者:Savani, Rahul ;Fearnley, John
出 处:Logical Methods in Computer Science. 2018 ;14(4).doi:10.23638/LMCS-14(4:9)2018
出 版 社:Technical University of Braunschweig
文 章 ID:1021277390
作 者:Savani, Rahul ;Mnich, Matthias ;Gairing, Martin 等
出 处:Logical Methods in Computer Science. 2021 ;17(2):1-29.
出 版 社:Technical University of Braunschweig
文 章 ID:1035318259