@INPROCEEDINGS{DBLP:conf/dcfs/Platzer12,
pdf = {pub/dcfs12.pdf},
author = {Andr{\'e} Platzer},
title = {Logical Analysis of Hybrid Systems:
A Complete Answer to a Complexity Challenge},
booktitle = {DCFS},
longbooktitle = {Descriptional Complexity of Formal
Systems - 14th International Workshop, DCFS
2012, Braga, Portugal, July 23-25, 2012.
Proceedings},
year = {2012},
pages = {43-49},
doi = {10.1007/978-3-642-31623-4_3},
editor = {Martin Kutrib and
Nelma Moreira and
Rog{\'e}rio Reis},
publisher = {Springer},
series = {LNCS},
volume = {7386},
isbn = {978-3-642-31622-7},
}```