BibTeX record conf/itsc/0002MP15

download as .bib file

@inproceedings{DBLP:conf/itsc/0002MP15,
  author    = {Andreas M{\"{u}}ller and
               Stefan Mitsch and
               Andr{\'{e}} Platzer},
  title     = {Verified Traffic Networks: Component-Based Verification of Cyber-Physical
               Flow Systems},
  booktitle = {{ITSC}},
  pages     = {757--764},
  publisher = {{IEEE}},
  year      = {2015}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics