BibTeX record series/asc/NellenAW15

• > Home > series/asc/NellenAW15

@incollection{DBLP:series/asc/NellenAW15,
  author       = {Johanna Nellen and
                  Erika {\'{A}}brah{\'{a}}m and
                  Benedikt Wolters},
  editor       = {Thouraya Bouabana{-}Tebibel and
                  Stuart H. Rubin},
  title        = {A {CEGAR} Tool for the Reachability Analysis of PLC-Controlled Plants
                  Using Hybrid Automata},
  booktitle    = {Formalisms for Reuse and Systems Integration},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {346},
  pages        = {55--78},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-16577-6\_3},
  doi          = {10.1007/978-3-319-16577-6\_3},
  timestamp    = {Sat, 05 Sep 2020 17:42:16 +0200},
  biburl       = {https://dblp.org/rec/series/asc/NellenAW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}