BibTeX record conf/time/GiordanoM04

download as .bib file

@inproceedings{DBLP:conf/time/GiordanoM04,
  author       = {Laura Giordano and
                  Alberto Martelli},
  title        = {On-the-Fly Automata Construction for Dynamic Linear Time Temporal
                  Logic},
  booktitle    = {11th International Symposium on Temporal Representation and Reasoning
                  {(TIME} 2004), 1-3 July 2004, Tatihou Island, Normandie, France},
  pages        = {133--139},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/TIME.2004.1314430},
  doi          = {10.1109/TIME.2004.1314430},
  timestamp    = {Fri, 24 Mar 2023 00:00:27 +0100},
  biburl       = {https://dblp.org/rec/conf/time/GiordanoM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics