BibTeX record journals/sttt/JeanninGKSGMP17

download as .bib file

@article{DBLP:journals/sttt/JeanninGKSGMP17,
  author    = {Jean{-}Baptiste Jeannin and
               Khalil Ghorbal and
               Yanni Kouskoulas and
               Aurora Schmidt and
               Ryan Gardner and
               Stefan Mitsch and
               Andr{\'{e}} Platzer},
  title     = {A formally verified hybrid system for safe advisories in the next-generation
               airborne collision avoidance system},
  journal   = {{STTT}},
  volume    = {19},
  number    = {6},
  pages     = {717--741},
  year      = {2017},
  url       = {https://doi.org/10.1007/s10009-016-0434-1},
  doi       = {10.1007/s10009-016-0434-1},
  timestamp = {Mon, 06 Nov 2017 12:13:45 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/JeanninGKSGMP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier