@article{DBLP:journals/corr/abs-1911-08406,
  author       = {Laura Bozzelli and
                  Aniello Murano and
                  Adriano Peron},
  title        = {Timed Context-Free Temporal Logics},
  journal      = {CoRR},
  volume       = {abs/1911.08406},
  year         = {2019},
  url          = {http://arxiv.org/abs/1911.08406},
  eprinttype    = {arXiv},
  eprint       = {1911.08406},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1911-08406.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"xEuXDaQvjFxg5Ctfd","bibbaseid":"bozzelli-murano-peron-timedcontextfreetemporallogics-2019","author_short":["Bozzelli, L.","Murano, A.","Peron, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Laura"],"propositions":[],"lastnames":["Bozzelli"],"suffixes":[]},{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"suffixes":[]},{"firstnames":["Adriano"],"propositions":[],"lastnames":["Peron"],"suffixes":[]}],"title":"Timed Context-Free Temporal Logics","journal":"CoRR","volume":"abs/1911.08406","year":"2019","url":"http://arxiv.org/abs/1911.08406","eprinttype":"arXiv","eprint":"1911.08406","timestamp":"Mon, 02 Dec 2019 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/corr/abs-1911-08406.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-1911-08406,\n author = {Laura Bozzelli and\n Aniello Murano and\n Adriano Peron},\n title = {Timed Context-Free Temporal Logics},\n journal = {CoRR},\n volume = {abs/1911.08406},\n year = {2019},\n url = {http://arxiv.org/abs/1911.08406},\n eprinttype = {arXiv},\n eprint = {1911.08406},\n timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/corr/abs-1911-08406.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bozzelli, L.","Murano, A.","Peron, A."],"key":"DBLP:journals/corr/abs-1911-08406","id":"DBLP:journals/corr/abs-1911-08406","bibbaseid":"bozzelli-murano-peron-timedcontextfreetemporallogics-2019","role":"author","urls":{"Paper":"http://arxiv.org/abs/1911.08406"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/41/1330.bib","dataSources":["rcc5nk8gmLmyRucnQ","qvQbPukenqj5YCziG","FveT9XjjEsLo76Nnx","SFiNZC9JtGydSWxQX","KWzHALEjxymhYjHPF"],"keywords":[],"search_terms":["timed","context","free","temporal","logics","bozzelli","murano","peron"],"title":"Timed Context-Free Temporal Logics","year":2019}