BibTeX record conf/cpsweek/SogokonGJ16

download as .bib file

@inproceedings{DBLP:conf/cpsweek/SogokonGJ16,
  author    = {Andrew Sogokon and
               Khalil Ghorbal and
               Taylor T. Johnson},
  title     = {Non-linear Continuous Systems for Safety Verification},
  booktitle = {ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification
               for Continuous and Hybrid Systems, Vienna, Austria},
  pages     = {42--51},
  year      = {2016},
  crossref  = {DBLP:conf/cpsweek/2016arch},
  url       = {http://www.easychair.org/publications/paper/334334},
  timestamp = {Tue, 25 Jul 2017 11:35:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/SogokonGJ16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpsweek/2016arch,
  editor    = {Goran Frehse and
               Matthias Althoff},
  title     = {ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification
               for Continuous and Hybrid Systems, Vienna, Austria},
  series    = {EPiC Series in Computing},
  volume    = {43},
  publisher = {EasyChair},
  year      = {2017},
  url       = {http://www.easychair.org/publications/volume/ARCH16},
  timestamp = {Wed, 26 Apr 2017 13:57:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/2016arch},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier