@inproceedings{dblp-conf-lata-krishnamt15,
  title = {Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable},
  author = {Shankara Narayanan Krishna and Lakshmi Manasa and Ashutosh Trivedi},
  year = {2015},
  url = {https://dblp.org/rec/conf/lata/KrishnaMT15},
  booktitle = {LATA 2015}
}