@inproceedings{dblp-conf-hybrid-krishnamt15,
  title = {What's decidable about recursive hybrid automata?},
  author = {Shankara Narayanan Krishna and Lakshmi Manasa and Ashutosh Trivedi},
  year = {2015},
  url = {https://dblp.org/rec/conf/hybrid/KrishnaMT15},
  booktitle = {HSCC 2015}
}