作 者:Jasmin Blanchette ;Sascha Böhme ;Andrei Popescu 等
出 处:Logical Methods in Computer Science. 2016 ;12(4):1.doi:10.2168/LMCS-12(4:13)2016
出 版 社:Technical University of Braunschweig
文 章 ID:264692049
作 者:Koen Claessen ;Nicholas Smallbone ;Johan Eddeland 等
出 处:IFAC PapersOnLine. 2018 ;51(7):408-415.doi:10.1016/j.ifacol.2018.06.333
出 版 社:Elsevier
文 章 ID:1020218693