Sergiy Bogomolov, Martin Fränzle, Kyoko Makino, Nacim Ramdani. Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491). Dagstuhl Reports, 6(12):1-28, 2016. [doi]
@article{BogomolovFMR16,
title = {Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491)},
author = {Sergiy Bogomolov and Martin Fränzle and Kyoko Makino and Nacim Ramdani},
year = {2016},
doi = {10.4230/DagRep.6.12.1},
url = {http://dx.doi.org/10.4230/DagRep.6.12.1},
researchr = {https://researchr.org/publication/BogomolovFMR16},
cites = {0},
citedby = {0},
journal = {Dagstuhl Reports},
volume = {6},
number = {12},
pages = {1-28},
}