BibTeX record conf/cpsweek/StrathmannO15

download as .bib file

@inproceedings{DBLP:conf/cpsweek/StrathmannO15,
  author    = {Thomas Strathmann and
               Jens Oehlerking},
  title     = {Verifying Properties of an Electro-Mechanical Braking System},
  booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous
               and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
               2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015.},
  pages     = {49--56},
  year      = {2015},
  crossref  = {DBLP:conf/cpsweek/2014-15arch},
  url       = {http://www.easychair.org/publications/paper/248654},
  timestamp = {Tue, 25 Jul 2017 11:35:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/StrathmannO15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpsweek/2014-15arch,
  editor    = {Goran Frehse and
               Matthias Althoff},
  title     = {1st and 2nd International Workshop on Applied veRification for Continuous
               and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
               2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015},
  series    = {EPiC Series in Computing},
  volume    = {34},
  publisher = {EasyChair},
  year      = {2015},
  url       = {http://www.easychair.org/publications/volume/ARCH15},
  timestamp = {Thu, 16 Jun 2016 17:11:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/2014-15arch},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier