BibTeX record journals/tocl/DemriL09

download as .bib file

@article{DBLP:journals/tocl/DemriL09,
  author    = {St{\'{e}}phane Demri and
               Ranko Lazic},
  title     = {{LTL} with the freeze quantifier and register automata},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {10},
  number    = {3},
  pages     = {16:1--16:30},
  year      = {2009},
  url       = {http://doi.acm.org/10.1145/1507244.1507246},
  doi       = {10.1145/1507244.1507246},
  timestamp = {Mon, 09 Jan 2017 14:08:26 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tocl/DemriL09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier