On Continuous Timed Automata with Input-Determined Guards

Fabrice Chevalier, Deepak D Souza, Pavithra Prabhakar. On Continuous Timed Automata with Input-Determined Guards. In S. Arun-Kumar, Naveen Garg, editors, FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings. Volume 4337 of Lecture Notes in Computer Science, pages 369-380, Springer, 2006. [doi]

@inproceedings{ChevalierDP06,
  title = {On Continuous Timed Automata with Input-Determined Guards},
  author = {Fabrice Chevalier and Deepak D Souza and Pavithra Prabhakar},
  year = {2006},
  doi = {10.1007/11944836_34},
  url = {http://dx.doi.org/10.1007/11944836_34},
  researchr = {https://researchr.org/publication/ChevalierDP06},
  cites = {0},
  citedby = {0},
  pages = {369-380},
  booktitle = {FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings},
  editor = {S. Arun-Kumar and Naveen Garg},
  volume = {4337},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-49994-6},
}