BibTeX record journals/corr/abs-2007-10539

download as .bib file

@article{DBLP:journals/corr/abs-2007-10539,
  author    = {Franck Cassez and
               Peter Gj{\o}l Jensen and
               Kim Guldstrand Larsen},
  title     = {Verification and Parameter Synthesis for Real-Time Programs using
               Refinement of Trace Abstraction},
  journal   = {CoRR},
  volume    = {abs/2007.10539},
  year      = {2020},
  url       = {https://arxiv.org/abs/2007.10539},
  archivePrefix = {arXiv},
  eprint    = {2007.10539},
  timestamp = {Tue, 28 Jul 2020 14:46:12 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2007-10539.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics