作 者:Struth, Georg ;Hayes, Ian J. ;Dongol, Brijesh
出 处:Logical Methods in Computer Science. 2021 ;17(1):1-34.
出 版 社:Technical University of Braunschweig
文 章 ID:1035318241