作 者:Sasinee Pruekprasert ;Toru Takisaka ;Clovis Eberhart 等
出 处:IFAC PapersOnLine. 2020 ;53(2):14462-14469.doi:10.1016/j.ifacol.2020.12.1447
出 版 社:Elsevier
文 章 ID:1031639819
作 者:Jérémy Dubut ;Akihisa Yamada
出 处:Logical Methods in Computer Science. 2022 ;18(1):1-24.doi:10.46298/lmcs-18(1:30)2022
出 版 社:Technical University of Braunschweig
文 章 ID:1038046932