BibTeX record journals/entcs/Masse12

download as .bib file

@inproceedings{DBLP:journals/entcs/Masse12,
  author       = {Damien Mass{\'{e}}},
  editor       = {Jan Midtgaard and
                  Matthew Might},
  title        = {Proving Termination by Policy Iteration},
  booktitle    = {Proceedings of the Fourth International Workshop on Numerical and
                  Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September
                  10, 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {287},
  pages        = {77--88},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcs.2012.09.008},
  doi          = {10.1016/J.ENTCS.2012.09.008},
  timestamp    = {Fri, 25 Nov 2022 14:34:24 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Masse12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics