@inproceedings{MF15,
title = { Running SpaceEx on the {ARCH14} Benchmarks },
author = {Minopoli, Stefano and Frehse, Goran},
year = {2015},
booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH at CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH at CPSWeek 2015, Seattle, WA, USA, April 13, },
crossref = {DBLP:conf/cpsweek/2014-15arch},
pages = {196--206},
team = {TEMPO},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/cpsweek/MinopoliF15},
bibsource = {dblp computer science bibliography, http://dblp.org},
}