BibTeX record journals/corr/AbrahamB17

download as .bib file

@proceedings{DBLP:journals/corr/AbrahamB17,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               Sergiy Bogomolov},
  title     = {Proceedings 3rd International Workshop on Symbolic and Numerical Methods
               for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April
               2017},
  series    = {{EPTCS}},
  volume    = {247},
  year      = {2017},
  url       = {http://arxiv.org/abs/1704.02421},
  timestamp = {Mon, 13 Aug 2018 16:46:07 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AbrahamB17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier