@proceedings{DBLP:conf/cpsweek/2017arch,
  editor    = {Goran Frehse and
               Matthias Althoff},
  title     = {{ARCH17.} 4th International Workshop on Applied Verification of Continuous
               and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek)
               on April 17, 2017 in Pittsburgh, PA, {USA}},
  series    = {EPiC Series in Computing},
  volume    = {48},
  publisher = {EasyChair},
  year      = {2017},
  url       = {http://www.easychair.org/publications/volume/ARCH17},
  timestamp = {Wed, 16 Aug 2017 16:30:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/2017arch},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"vzCvKdBX5nysSjkiH","bibbaseid":"frehse-althoff-arch174thinternationalworkshoponappliedverificationofcontinuousandhybridsystemscollocatedwithcyberphysicalsystemsweekcpsweekonapril172017inpittsburghpausa-2017","downloads":0,"creationDate":"2019-02-23T06:38:48.247Z","title":"ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA","author_short":null,"year":2017,"bibtype":"proceedings","biburl":"https://dblp.org/pid/07/3797.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Goran"],"propositions":[],"lastnames":["Frehse"],"suffixes":[]},{"firstnames":["Matthias"],"propositions":[],"lastnames":["Althoff"],"suffixes":[]}],"title":"ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA","series":"EPiC Series in Computing","volume":"48","publisher":"EasyChair","year":"2017","url":"http://www.easychair.org/publications/volume/ARCH17","timestamp":"Wed, 16 Aug 2017 16:30:49 +0200","biburl":"https://dblp.org/rec/bib/conf/cpsweek/2017arch","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/cpsweek/2017arch,\n editor = {Goran Frehse and\n Matthias Althoff},\n title = {{ARCH17.} 4th International Workshop on Applied Verification of Continuous\n and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek)\n on April 17, 2017 in Pittsburgh, PA, {USA}},\n series = {EPiC Series in Computing},\n volume = {48},\n publisher = {EasyChair},\n year = {2017},\n url = {http://www.easychair.org/publications/volume/ARCH17},\n timestamp = {Wed, 16 Aug 2017 16:30:49 +0200},\n biburl = {https://dblp.org/rec/bib/conf/cpsweek/2017arch},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Frehse, G.","Althoff, M."],"key":"DBLP:conf/cpsweek/2017arch","id":"DBLP:conf/cpsweek/2017arch","bibbaseid":"frehse-althoff-arch174thinternationalworkshoponappliedverificationofcontinuousandhybridsystemscollocatedwithcyberphysicalsystemsweekcpsweekonapril172017inpittsburghpausa-2017","role":"editor","urls":{"Paper":"http://www.easychair.org/publications/volume/ARCH17"},"downloads":0},"search_terms":["arch17","4th","international","workshop","applied","verification","continuous","hybrid","systems","collocated","cyber","physical","systems","week","cpsweek","april","2017","pittsburgh","usa"],"keywords":[],"authorIDs":[],"dataSources":["64vhzPQouTD2xtS3j"]}