@Article{         ClementeLasota:TPDA:Arxiv:2015,
  Author        = "{Clemente}, L. and {Lasota}, S.",
  adsnote       = "Provided by the SAO/NASA Astrophysics Data System",
  adsurl        = "http://adsabs.harvard.edu/abs/2015arXiv150302422C",
  ArchivePrefix = "arXiv",
  date-added    = "2018-04-26 17:06:16 +0000",
  date-modified = "2018-04-26 17:06:16 +0000",
  EPrint        = "1503.02422",
  Journal       = "ArXiv e-prints",
  Keywords      = "Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science",
  Month         = "March",
  PrimaryClass  = "cs.FL",
  Title         = "{Timed pushdown automata revisited}",
  Year          = "2015",
  bdsk-url-1    = "http://arxiv.org/abs/1503.02422",
  File          = "Timed pushdown automata revisited - Clemente, Lasota (1) (0) - a - a - m.pdf",
  file-2        = "Timed pushdown automata revisited - Clemente, Lasota (0) (0) - a - a - m.pdf"
}

@Article{ ClementeLasota:TPDA:Arxiv:2015, Author = "{Clemente}, L. and {Lasota}, S.", adsnote = "Provided by the SAO/NASA Astrophysics Data System", adsurl = "http://adsabs.harvard.edu/abs/2015arXiv150302422C", ArchivePrefix = "arXiv", date-added = "2018-04-26 17:06:16 +0000", date-modified = "2018-04-26 17:06:16 +0000", EPrint = "1503.02422", Journal = "ArXiv e-prints", Keywords = "Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science", Month = "March", PrimaryClass = "cs.FL", Title = "{Timed pushdown automata revisited}", Year = "2015", bdsk-url-1 = "http://arxiv.org/abs/1503.02422", File = "Timed pushdown automata revisited - Clemente, Lasota (1) (0) - a - a - m.pdf", file-2 = "Timed pushdown automata revisited - Clemente, Lasota (0) (0) - a - a - m.pdf" }