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},
  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},
  pages     = {173--191},
  year      = {2017},
  crossref  = {DBLP:conf/rssrail/2017},
  url       = {https://doi.org/10.1007/978-3-319-68499-4\_12},
  doi       = {10.1007/978-3-319-68499-4\_12},
  timestamp = {Thu, 22 Feb 2018 18:20:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rssrail/MitschGBGP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rssrail/2017,
  editor    = {Alessandro Fantechi and
               Thierry Lecomte and
               Alexander B. Romanovsky},
  title     = {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},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-68499-4},
  doi       = {10.1007/978-3-319-68499-4},
  isbn      = {978-3-319-68498-7},
  timestamp = {Thu, 22 Feb 2018 18:20:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rssrail/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier