BibTeX record conf/cpsweek/HeinzOW14

download as .bib file

@inproceedings{DBLP:conf/cpsweek/HeinzOW14,
  author    = {Thomas Heinz and
               Jens Oehlerking and
               Matthias Woehrle},
  title     = {Benchmark: Reachability on a model with holes},
  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     = {31--36},
  year      = {2014},
  crossref  = {DBLP:conf/cpsweek/2014-15arch},
  url       = {http://www.easychair.org/publications/paper/251012},
  timestamp = {Wed, 10 Jan 2018 16:14:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/HeinzOW14},
  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