P
[Pur99] Anuj Puri. An Undecidable Problem for Timed Automata. Discrete Event Dynamic Systems 9(2):135-146. Kluwer Academic, May 1999. 
@article{deds9(2)-Pur,
  author =              {Puri, Anuj},
  title =               {An Undecidable Problem for Timed Automata},
  publisher =           {Kluwer Academic},
  journal =             {Discrete Event Dynamic Systems},
  volume =              {9},
  number =              {2},
  pages =               {135-146},
  year =                {1999},
  month =               may,
}
List of authors