作 者:Koen Claessen ;Jan-Willem Roorda
出 处:Logical Methods in Computer Science. 2009 ;5(02).doi:10.2168/LMCS-5(2:1)2009
出 版 社:Technical University of Braunschweig
文 章 ID:47208395
作 者:Koen Claessen ;Nicholas Smallbone ;Johan Eddeland 等
出 处:IFAC PapersOnLine. 2018 ;51(7):408-415.doi:10.1016/j.ifacol.2018.06.333
出 版 社:Elsevier
文 章 ID:1020218693
作 者:Zahra Ramezani ;Johan Lidén Eddeland ;Koen Claessen 等
出 处:IFAC PapersOnLine. 2020 ;53(4):417-422.doi:10.1016/j.ifacol.2021.04.040
出 版 社:Elsevier
文 章 ID:1032015508