Decomposing Timed Push Down Automata. Krishnan, P. Fundam. Inform., 45(3):215-229, 2001.
Decomposing Timed Push Down Automata. [link]Link  Decomposing Timed Push Down Automata. [link]Paper  bibtex   
@article{journals/fuin/Krishnan01,
  added-at = {2015-05-18T00:00:00.000+0200},
  author = {Krishnan, Padmanabhan},
  biburl = {http://www.bibsonomy.org/bibtex/206a20e99c4c5440d50a7d7427918ff71/dblp},
  ee = {http://content.iospress.com/articles/fundamenta-informaticae/fi45-3-05},
  interhash = {7fedf7fc91f6d5c6289e66041c424db2},
  intrahash = {06a20e99c4c5440d50a7d7427918ff71},
  journal = {Fundam. Inform.},
  keywords = {dblp},
  number = 3,
  pages = {215-229},
  timestamp = {2015-06-18T07:36:48.000+0200},
  title = {Decomposing Timed Push Down Automata.},
  url = {http://dblp.uni-trier.de/db/journals/fuin/fuin45.html#Krishnan01},
  volume = 45,
  year = 2001
}

Downloads: 0