"Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491)."

Sergiy Bogomolov et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics