DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-26287-1_2,1605,ToHe,Abstraction-based parameter synthesis for multiaffine systems