Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions

P. Vijay Suman, Paritosh K. Pandya. Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions. In Adrian Horia Dediu, Armand-Mihai Ionescu, Carlos Martín-Vide, editors, Language and Automata Theory and Applications, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings. Volume 5457 of Lecture Notes in Computer Science, pages 728-739, Springer, 2009. [doi]

@inproceedings{SumanP09,
  title = {Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions},
  author = {P. Vijay Suman and Paritosh K. Pandya},
  year = {2009},
  doi = {10.1007/978-3-642-00982-2_62},
  url = {http://dx.doi.org/10.1007/978-3-642-00982-2_62},
  researchr = {https://researchr.org/publication/SumanP09},
  cites = {0},
  citedby = {0},
  pages = {728-739},
  booktitle = {Language and Automata Theory and Applications, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings},
  editor = {Adrian Horia Dediu and Armand-Mihai Ionescu and Carlos Martín-Vide},
  volume = {5457},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00981-5},
}