作 者:Otop, Jan ;Ibsen-Jensen, Rasmus ;Henzinger, Thomas A. 等
出 处:Logical Methods in Computer Science. 2017 ;13(3).
出 版 社:Technical University of Braunschweig
文 章 ID:1011733826
作 者:Henzinger, Thomas A. ;Avni, Guy ;Aghajohari, Milad
出 处:Logical Methods in Computer Science. 2021 ;17(1):1-23.
出 版 社:Technical University of Braunschweig
文 章 ID:1035318244