André Platzer. Logical Analysis of Hybrid Systems: A Answer to a Complexity Challenge. Journal of Automata, Languages and Combinatorics, 17(2-4):265-275, 2012.
@article{Platzer12-2,
title = {Logical Analysis of Hybrid Systems: A Answer to a Complexity Challenge},
author = {André Platzer},
year = {2012},
researchr = {https://researchr.org/publication/Platzer12-2},
cites = {0},
citedby = {0},
journal = {Journal of Automata, Languages and Combinatorics},
volume = {17},
number = {2-4},
pages = {265-275},
}