BibTeX record journals/corr/SunBKHWSJDBB17

download as .bib file

@article{DBLP:journals/corr/SunBKHWSJDBB17,
  author       = {Youcheng Sun and
                  Martin Brain and
                  Daniel Kroening and
                  Andrew Hawthorn and
                  Thomas Wilson and
                  Florian Schanda and
                  Francisco Javier Guzman Jimenez and
                  Simon Daniel and
                  Chris Bryan and
                  Ian Broster},
  title        = {Functional Requirements-Based Automated Testing for Avionics},
  journal      = {CoRR},
  volume       = {abs/1707.01466},
  year         = {2017},
  url          = {http://arxiv.org/abs/1707.01466},
  eprinttype    = {arXiv},
  eprint       = {1707.01466},
  timestamp    = {Mon, 13 Aug 2018 16:46:40 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SunBKHWSJDBB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics