@article{tcs23,
  title = "An interval temporal logic
           characterization of extended
           omega-regular languages",
  journal = "Theoretical Computer Science (TCS)",
  year = "2023",
  author = "Della Monica, Dario and
            Angelo Montanari and Pietro Sala",
  issn = "0304-3975",
  doi = "10.1016/j.tcs.2023.113929",
  keywords = "Temporal logic, omega-regular
              expressions, expressiveness"
}

{"_id":"xFpCF4vkeqBbWRQXX","bibbaseid":"dellamonica-montanari-sala-anintervaltemporallogiccharacterizationofextendedomegaregularlanguages-2023","author_short":["Della Monica, D.","Montanari, A.","Sala, P."],"bibdata":{"bibtype":"article","type":"article","title":"An interval temporal logic characterization of extended omega-regular languages","journal":"Theoretical Computer Science (TCS)","year":"2023","author":[{"propositions":[],"lastnames":["Della","Monica"],"firstnames":["Dario"],"suffixes":[]},{"firstnames":["Angelo"],"propositions":[],"lastnames":["Montanari"],"suffixes":[]},{"firstnames":["Pietro"],"propositions":[],"lastnames":["Sala"],"suffixes":[]}],"issn":"0304-3975","doi":"10.1016/j.tcs.2023.113929","keywords":"Temporal logic, omega-regular expressions, expressiveness","bibtex":"@article{tcs23,\r\n title = \"An interval temporal logic\r\n characterization of extended\r\n omega-regular languages\",\r\n journal = \"Theoretical Computer Science (TCS)\",\r\n year = \"2023\",\r\n author = \"Della Monica, Dario and\r\n Angelo Montanari and Pietro Sala\",\r\n issn = \"0304-3975\",\r\n doi = \"10.1016/j.tcs.2023.113929\",\r\n keywords = \"Temporal logic, omega-regular\r\n expressions, expressiveness\"\r\n}\r\n\r\n","author_short":["Della Monica, D.","Montanari, A.","Sala, P."],"key":"tcs23","id":"tcs23","bibbaseid":"dellamonica-montanari-sala-anintervaltemporallogiccharacterizationofextendedomegaregularlanguages-2023","role":"author","urls":{},"keyword":["Temporal logic","omega-regular expressions","expressiveness"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://users.dimi.uniud.it/~dario.dellamonica/pubs/biblio.bib","dataSources":["XKYzHk9y65Aw5X8qY"],"keywords":["temporal logic","omega-regular expressions","expressiveness"],"search_terms":["interval","temporal","logic","characterization","extended","omega","regular","languages","della monica","montanari","sala"],"title":"An interval temporal logic characterization of extended omega-regular languages","year":2023}