@inproceedings{DBLP:conf/cav/FanQM0D16,
  author    = {Chuchu Fan and
               Bolun Qi and
               Sayan Mitra and
               Mahesh Viswanathan and
               Parasara Sridhar Duggirala},
  editor    = {Swarat Chaudhuri and
               Azadeh Farzan},
  title     = {Automatic Reachability Analysis for Nonlinear Hybrid Models with {C2E2}},
  booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
               2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9779},
  pages     = {531--538},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41528-4\_29},
  doi       = {10.1007/978-3-319-41528-4\_29},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cav/FanQM0D16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"E7J7GX44AYHnBzWj9","bibbaseid":"fan-qi-mitra-viswanathan-duggirala-automaticreachabilityanalysisfornonlinearhybridmodelswithc2e2-2016","downloads":0,"creationDate":"2017-10-05T05:28:27.081Z","title":"Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2","author_short":["Fan, C.","Qi, B.","Mitra, S.","Viswanathan, M.","Duggirala, P. S."],"year":2016,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/07/3797.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Chuchu"],"propositions":[],"lastnames":["Fan"],"suffixes":[]},{"firstnames":["Bolun"],"propositions":[],"lastnames":["Qi"],"suffixes":[]},{"firstnames":["Sayan"],"propositions":[],"lastnames":["Mitra"],"suffixes":[]},{"firstnames":["Mahesh"],"propositions":[],"lastnames":["Viswanathan"],"suffixes":[]},{"firstnames":["Parasara","Sridhar"],"propositions":[],"lastnames":["Duggirala"],"suffixes":[]}],"editor":[{"firstnames":["Swarat"],"propositions":[],"lastnames":["Chaudhuri"],"suffixes":[]},{"firstnames":["Azadeh"],"propositions":[],"lastnames":["Farzan"],"suffixes":[]}],"title":"Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2","booktitle":"Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I","series":"Lecture Notes in Computer Science","volume":"9779","pages":"531–538","publisher":"Springer","year":"2016","url":"https://doi.org/10.1007/978-3-319-41528-4_29","doi":"10.1007/978-3-319-41528-4_29","timestamp":"Mon, 15 Jun 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/cav/FanQM0D16.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cav/FanQM0D16,\n author = {Chuchu Fan and\n Bolun Qi and\n Sayan Mitra and\n Mahesh Viswanathan and\n Parasara Sridhar Duggirala},\n editor = {Swarat Chaudhuri and\n Azadeh Farzan},\n title = {Automatic Reachability Analysis for Nonlinear Hybrid Models with {C2E2}},\n booktitle = {Computer Aided Verification - 28th International Conference, {CAV}\n 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},\n series = {Lecture Notes in Computer Science},\n volume = {9779},\n pages = {531--538},\n publisher = {Springer},\n year = {2016},\n url = {https://doi.org/10.1007/978-3-319-41528-4\\_29},\n doi = {10.1007/978-3-319-41528-4\\_29},\n timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/cav/FanQM0D16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fan, C.","Qi, B.","Mitra, S.","Viswanathan, M.","Duggirala, P. S."],"editor_short":["Chaudhuri, S.","Farzan, A."],"key":"DBLP:conf/cav/FanQM0D16","id":"DBLP:conf/cav/FanQM0D16","bibbaseid":"fan-qi-mitra-viswanathan-duggirala-automaticreachabilityanalysisfornonlinearhybridmodelswithc2e2-2016","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-41528-4_29"},"downloads":0},"search_terms":["automatic","reachability","analysis","nonlinear","hybrid","models","c2e2","fan","qi","mitra","viswanathan","duggirala"],"keywords":["dblp","verification"],"authorIDs":[],"dataSources":["64vhzPQouTD2xtS3j"]}