BibTeX record conf/time/BersaniRP13

• > Home > conf/time/BersaniRP13

@inproceedings{DBLP:conf/time/BersaniRP13,
  author       = {Marcello M. Bersani and
                  Matteo Rossi and
                  Pierluigi {San Pietro}},
  editor       = {C{\'{e}}sar S{\'{a}}nchez and
                  Kristen Brent Venable and
                  Esteban Zim{\'{a}}nyi},
  title        = {A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal
                  Logic},
  booktitle    = {2013 20th International Symposium on Temporal Representation and Reasoning,
                  Pensacola, FL, USA, September 26-28, 2013},
  pages        = {99--106},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/TIME.2013.20},
  doi          = {10.1109/TIME.2013.20},
  timestamp    = {Mon, 17 Apr 2023 17:27:26 +0200},
  biburl       = {https://dblp.org/rec/conf/time/BersaniRP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}