@inproceedings{DBLP:conf/cpsweek/FanDM015,
  author    = {Chuchu Fan and
               Parasara Sridhar Duggirala and
               Sayan Mitra and
               Mahesh Viswanathan},
  editor    = {Goran Frehse and
               Matthias Althoff},
  title     = {Progress on Powertrain Verification Challenge with {C2E2}},
  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},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {207--212},
  publisher = {EasyChair},
  year      = {2015},
  url       = {https://easychair.org/publications/paper/LS},
  timestamp = {Wed, 27 May 2020 16:02:02 +0200},
  biburl    = {https://dblp.org/rec/conf/cpsweek/FanDM015.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"an6PfoRhHi6srkcYQ","bibbaseid":"fan-duggirala-mitra-viswanathan-progressonpowertrainverificationchallengewithc2e2-2015","downloads":0,"creationDate":"2017-10-05T05:28:26.966Z","title":"Progress on Powertrain Verification Challenge with C2E2","author_short":["Fan, C.","Duggirala, P. S.","Mitra, S.","Viswanathan, M."],"year":2015,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/07/3797.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Chuchu"],"propositions":[],"lastnames":["Fan"],"suffixes":[]},{"firstnames":["Parasara","Sridhar"],"propositions":[],"lastnames":["Duggirala"],"suffixes":[]},{"firstnames":["Sayan"],"propositions":[],"lastnames":["Mitra"],"suffixes":[]},{"firstnames":["Mahesh"],"propositions":[],"lastnames":["Viswanathan"],"suffixes":[]}],"editor":[{"firstnames":["Goran"],"propositions":[],"lastnames":["Frehse"],"suffixes":[]},{"firstnames":["Matthias"],"propositions":[],"lastnames":["Althoff"],"suffixes":[]}],"title":"Progress on Powertrain Verification Challenge with C2E2","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","series":"EPiC Series in Computing","volume":"34","pages":"207–212","publisher":"EasyChair","year":"2015","url":"https://easychair.org/publications/paper/LS","timestamp":"Wed, 27 May 2020 16:02:02 +0200","biburl":"https://dblp.org/rec/conf/cpsweek/FanDM015.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cpsweek/FanDM015,\n author = {Chuchu Fan and\n Parasara Sridhar Duggirala and\n Sayan Mitra and\n Mahesh Viswanathan},\n editor = {Goran Frehse and\n Matthias Althoff},\n title = {Progress on Powertrain Verification Challenge with {C2E2}},\n booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous\n and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,\n 2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015},\n series = {EPiC Series in Computing},\n volume = {34},\n pages = {207--212},\n publisher = {EasyChair},\n year = {2015},\n url = {https://easychair.org/publications/paper/LS},\n timestamp = {Wed, 27 May 2020 16:02:02 +0200},\n biburl = {https://dblp.org/rec/conf/cpsweek/FanDM015.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fan, C.","Duggirala, P. S.","Mitra, S.","Viswanathan, M."],"editor_short":["Frehse, G.","Althoff, M."],"key":"DBLP:conf/cpsweek/FanDM015","id":"DBLP:conf/cpsweek/FanDM015","bibbaseid":"fan-duggirala-mitra-viswanathan-progressonpowertrainverificationchallengewithc2e2-2015","role":"author","urls":{"Paper":"https://easychair.org/publications/paper/LS"},"downloads":0},"search_terms":["progress","powertrain","verification","challenge","c2e2","fan","duggirala","mitra","viswanathan"],"keywords":["automotive systems","dblp","verification","automotive"],"authorIDs":["59d5c2fab06428b81f000015"],"dataSources":["64vhzPQouTD2xtS3j"]}