BibTeX record conf/rssrail/MitschGBGP17

download as .bib file

@inproceedings{DBLP:conf/rssrail/MitschGBGP17,
  author    = {Stefan Mitsch and
               Marco Gario and
               Christof J. Budnik and
               Michael Golm and
               Andr{\'{e}} Platzer},
  editor    = {Alessandro Fantechi and
               Thierry Lecomte and
               Alexander B. Romanovsky},
  title     = {Formal Verification of Train Control with Air Pressure Brakes},
  booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
               Verification, and Certification - Second International Conference,
               RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10598},
  pages     = {173--191},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-68499-4\_12},
  doi       = {10.1007/978-3-319-68499-4\_12},
  timestamp = {Mon, 16 Sep 2019 15:30:05 +0200},
  biburl    = {https://dblp.org/rec/conf/rssrail/MitschGBGP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics