Journal of Automata, Languages and Combinatorics formerly:
|
@article{jalc170212, author = {Andr\'e~Platzer}, title = {Logical Analysis of Hybrid Systems: A Answer to a Complexity Challenge}, journal = jalc, year = 2012, volume = 17, number = {2--4}, pages = {265--275} }