@inproceedings{dblp-conf-formats-krishnamt14,
  title = {Weak Singular Hybrid Automata},
  author = {Shankara Narayanan Krishna and Umang Mathur and Ashutosh Trivedi},
  year = {2014},
  url = {https://dblp.org/rec/conf/formats/KrishnaMT14},
  booktitle = {FORMATS 2014}
}