Timed Context-Free Temporal Logics. Bozzelli, L., Murano, A., & Peron, A. CoRR, 2019. Paper bibtex @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}
}
Downloads: 0
{"_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}