Intelligente Orchestrierung von Planungsprozessen
暂无分享,去创建一个
Michael Henke | Julian Graefenstein | David Scholz | Jan Winkels | M. Henke | Jakob Rehof | Julian Graefenstein | D. Scholz | Jan Winkels | Jakob Rehof
[1] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[2] Andrej Dudenhefner,et al. Combinatory Process Synthesis , 2016, ISoLA.
[3] Marsha Chechik,et al. Tools and Algorithms for the Construction and Analysis of Systems , 2016, Lecture Notes in Computer Science.