BibTeX record phd/it/Sala10

download as .bib file

@phdthesis{DBLP:phd/it/Sala10,
  author       = {Pietro Sala},
  title        = {Decidability of interval temporal logics},
  school       = {University of Udine, Italy},
  year         = {2010},
  url          = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BVE0548176},
  timestamp    = {Wed, 10 May 2023 21:51:57 +0200},
  biburl       = {https://dblp.org/rec/phd/it/Sala10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics