BibTeX record conf/re/Brings17

download as .bib file

@inproceedings{DBLP:conf/re/Brings17,
  author       = {Jennifer Brings},
  editor       = {Ana Moreira and
                  Jo{\~{a}}o Ara{\'{u}}jo and
                  Jane Hayes and
                  Barbara Paech},
  title        = {Verifying Cyber-Physical System Behavior in the Context of Cyber-Physical
                  System-Networks},
  booktitle    = {25th {IEEE} International Requirements Engineering Conference, {RE}
                  2017, Lisbon, Portugal, September 4-8, 2017},
  pages        = {556--561},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/RE.2017.45},
  doi          = {10.1109/RE.2017.45},
  timestamp    = {Fri, 24 Mar 2023 00:05:04 +0100},
  biburl       = {https://dblp.org/rec/conf/re/Brings17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics