@inproceedings{DBLP:conf/aaai/GiacomoMM14,
  author    = {Giuseppe {De Giacomo} and
               Riccardo {De Masellis} and
               Marco Montali},
  title     = {Reasoning on {LTL} on Finite Traces: Insensitivity to Infiniteness},
  booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
               July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
  pages     = {1027--1033},
  year      = {2014},
  crossref  = {DBLP:conf/aaai/2014},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8575},
  timestamp = {Thu, 31 Jul 2014 08:59:54 +0200},
  biburl    = {https://dblp.org/rec/conf/aaai/GiacomoMM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"FbTy3oFpDira5JEmw","bibbaseid":"degiacomo-demasellis-montali-reasoningonltlonfinitetracesinsensitivitytoinfiniteness-2014","authorIDs":[],"author_short":["De Giacomo, G.","De Masellis, R.","Montali, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Giuseppe"],"propositions":[],"lastnames":["De Giacomo"],"suffixes":[]},{"firstnames":["Riccardo"],"propositions":[],"lastnames":["De Masellis"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Montali"],"suffixes":[]}],"title":"Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness","booktitle":"Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada","pages":"1027–1033","year":"2014","crossref":"DBLP:conf/aaai/2014","url":"http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8575","timestamp":"Thu, 31 Jul 2014 08:59:54 +0200","biburl":"https://dblp.org/rec/conf/aaai/GiacomoMM14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aaai/GiacomoMM14,\n author = {Giuseppe {De Giacomo} and\n Riccardo {De Masellis} and\n Marco Montali},\n title = {Reasoning on {LTL} on Finite Traces: Insensitivity to Infiniteness},\n booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,\n July 27 -31, 2014, Qu{\\'{e}}bec City, Qu{\\'{e}}bec, Canada},\n pages = {1027--1033},\n year = {2014},\n crossref = {DBLP:conf/aaai/2014},\n url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8575},\n timestamp = {Thu, 31 Jul 2014 08:59:54 +0200},\n biburl = {https://dblp.org/rec/conf/aaai/GiacomoMM14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["De Giacomo, G.","De Masellis, R.","Montali, M."],"key":"DBLP:conf/aaai/GiacomoMM14","id":"DBLP:conf/aaai/GiacomoMM14","bibbaseid":"degiacomo-demasellis-montali-reasoningonltlonfinitetracesinsensitivitytoinfiniteness-2014","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8575"},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/whitemech/whitemech.github.io/master/whitemech-publications.bib","creationDate":"2020-03-01T13:35:45.373Z","downloads":0,"keywords":[],"search_terms":["reasoning","ltl","finite","traces","insensitivity","infiniteness","de giacomo","de masellis","montali"],"title":"Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness","year":2014,"dataSources":["a7J9cXfn5aGm5Rka2"]}