@inproceedings{Fre5b,
title = { Reachability of Hybrid Systems in Space-time },
author = {Frehse, Goran},
year = {2015},
booktitle = {Proceedings of the 12th International Conference on Embedded Software},
address = {Piscataway, NJ, USA},
pages = {41--50},
publisher = {IEEE Press},
series = {EMSOFT '15},
team = {TEMPO},
}
