BibTeX record conf/time/MancarellaRT97

download as .bib file

@inproceedings{DBLP:conf/time/MancarellaRT97,
  author       = {Paolo Mancarella and
                  Alessandra Raffaet{\`{a}} and
                  Franco Turini},
  title        = {Time in a Multi-Theory Logical Framework},
  booktitle    = {4th International Workshop on Temporal Representation and Reasoning,
                  {TIME} '97, Daytona Beach, Florida, USA, May 10-11, 1997},
  pages        = {62--68},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/TIME.1997.600783},
  doi          = {10.1109/TIME.1997.600783},
  timestamp    = {Fri, 24 Mar 2023 00:00:27 +0100},
  biburl       = {https://dblp.org/rec/conf/time/MancarellaRT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics