@inproceedings{FM24,
	author       = {Ben Greenman and Siddhartha Prasad and Antonio {Di Stasio} and Shufang Zhu and Giuseppe {De Giacomo} and Shriram Krishnamurthi and Marco Montali and Tim Nelson and Milda Zizyte},
	title        = {Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic},
	booktitle      ={FM 2024},
 	pages        = {to appear},
	year         = {2024}
}

{"_id":"5oBR4FeuPPBJqjJHn","bibbaseid":"greenman-prasad-distasio-zhu-degiacomo-krishnamurthi-montali-nelson-etal-misconceptionsinfinitetraceandinfinitetracelineartemporallogic-2024","author_short":["Greenman, B.","Prasad, S.","Di Stasio, A.","Zhu, S.","De Giacomo, G.","Krishnamurthi, S.","Montali, M.","Nelson, T.","Zizyte, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ben"],"propositions":[],"lastnames":["Greenman"],"suffixes":[]},{"firstnames":["Siddhartha"],"propositions":[],"lastnames":["Prasad"],"suffixes":[]},{"firstnames":["Antonio"],"propositions":[],"lastnames":["Di Stasio"],"suffixes":[]},{"firstnames":["Shufang"],"propositions":[],"lastnames":["Zhu"],"suffixes":[]},{"firstnames":["Giuseppe"],"propositions":[],"lastnames":["De Giacomo"],"suffixes":[]},{"firstnames":["Shriram"],"propositions":[],"lastnames":["Krishnamurthi"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Montali"],"suffixes":[]},{"firstnames":["Tim"],"propositions":[],"lastnames":["Nelson"],"suffixes":[]},{"firstnames":["Milda"],"propositions":[],"lastnames":["Zizyte"],"suffixes":[]}],"title":"Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic","booktitle":"FM 2024","pages":"to appear","year":"2024","bibtex":"@inproceedings{FM24,\n\tauthor = {Ben Greenman and Siddhartha Prasad and Antonio {Di Stasio} and Shufang Zhu and Giuseppe {De Giacomo} and Shriram Krishnamurthi and Marco Montali and Tim Nelson and Milda Zizyte},\n\ttitle = {Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic},\n\tbooktitle ={FM 2024},\n \tpages = {to appear},\n\tyear = {2024}\n}\n\n\n","author_short":["Greenman, B.","Prasad, S.","Di Stasio, A.","Zhu, S.","De Giacomo, G.","Krishnamurthi, S.","Montali, M.","Nelson, T.","Zizyte, M."],"key":"FM24","id":"FM24","bibbaseid":"greenman-prasad-distasio-zhu-degiacomo-krishnamurthi-montali-nelson-etal-misconceptionsinfinitetraceandinfinitetracelineartemporallogic-2024","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/antonio.bib","dataSources":["z68fXjfDFHo3BzBEe"],"keywords":[],"search_terms":["misconceptions","finite","trace","infinite","trace","linear","temporal","logic","greenman","prasad","di stasio","zhu","de giacomo","krishnamurthi","montali","nelson","zizyte"],"title":"Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic","year":2024}