BibTeX record journals/eceasst/BersaniRP13

download as .bib file

@article{DBLP:journals/eceasst/BersaniRP13,
  author       = {Marcello Maria Bersani and
                  Matteo Rossi and
                  Pierluigi {San Pietro}},
  title        = {On the Satisfiability of Metric Temporal Logics over the Reals},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {66},
  year         = {2013},
  url          = {https://doi.org/10.14279/tuj.eceasst.66.884},
  doi          = {10.14279/TUJ.ECEASST.66.884},
  timestamp    = {Mon, 17 Apr 2023 17:27:32 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/BersaniRP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics