@Article{         2018arXiv180804271B,
  Author        = "{Bozzelli}, L. and {Murano}, A. and {Peron}, A.",
  adsnote       = "Provided by the SAO/NASA Astrophysics Data System",
  adsurl        = "http://adsabs.harvard.edu/abs/2018arXiv180804271B",
  ArchivePrefix = "arXiv",
  date-added    = "2018-08-20 12:34:48 +0000",
  date-modified = "2018-08-20 12:36:14 +0000",
  EPrint        = "1808.04271",
  Journal       = "ArXiv e-prints",
  Keywords      = "citesme!",
  Month         = "August",
  PrimaryClass  = "cs.LO",
  Title         = "{Timed context-free temporal logics (extended version)}",
  Year          = "2018",
  File          = "1808.04271 (0) - a - a - d.pdf"
}

@Article{ 2018arXiv180804271B, Author = "{Bozzelli}, L. and {Murano}, A. and {Peron}, A.", adsnote = "Provided by the SAO/NASA Astrophysics Data System", adsurl = "http://adsabs.harvard.edu/abs/2018arXiv180804271B", ArchivePrefix = "arXiv", date-added = "2018-08-20 12:34:48 +0000", date-modified = "2018-08-20 12:36:14 +0000", EPrint = "1808.04271", Journal = "ArXiv e-prints", Keywords = "citesme!", Month = "August", PrimaryClass = "cs.LO", Title = "{Timed context-free temporal logics (extended version)}", Year = "2018", File = "1808.04271 (0) - a - a - d.pdf" }