@inproceedings{DBLP:conf/atva/FanM15,
  author    = {Chuchu Fan and
               Sayan Mitra},
  editor    = {Bernd Finkbeiner and
               Geguang Pu and
               Lijun Zhang},
  title     = {Bounded Verification with On-the-Fly Discrepancy Computation},
  booktitle = {Automated Technology for Verification and Analysis - 13th International
               Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9364},
  pages     = {446--463},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24953-7\_32},
  doi       = {10.1007/978-3-319-24953-7\_32},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/atva/FanM15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"ExYPrMNwiEjcXf6rN","bibbaseid":"fan-mitra-boundedverificationwithontheflydiscrepancycomputation-2015","downloads":0,"creationDate":"2017-10-05T05:28:26.965Z","title":"Bounded Verification with On-the-Fly Discrepancy Computation","author_short":["Fan, C.","Mitra, S."],"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":["Sayan"],"propositions":[],"lastnames":["Mitra"],"suffixes":[]}],"editor":[{"firstnames":["Bernd"],"propositions":[],"lastnames":["Finkbeiner"],"suffixes":[]},{"firstnames":["Geguang"],"propositions":[],"lastnames":["Pu"],"suffixes":[]},{"firstnames":["Lijun"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]}],"title":"Bounded Verification with On-the-Fly Discrepancy Computation","booktitle":"Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings","series":"Lecture Notes in Computer Science","volume":"9364","pages":"446–463","publisher":"Springer","year":"2015","url":"https://doi.org/10.1007/978-3-319-24953-7_32","doi":"10.1007/978-3-319-24953-7_32","timestamp":"Mon, 15 Jun 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/atva/FanM15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/atva/FanM15,\n author = {Chuchu Fan and\n Sayan Mitra},\n editor = {Bernd Finkbeiner and\n Geguang Pu and\n Lijun Zhang},\n title = {Bounded Verification with On-the-Fly Discrepancy Computation},\n booktitle = {Automated Technology for Verification and Analysis - 13th International\n Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {9364},\n pages = {446--463},\n publisher = {Springer},\n year = {2015},\n url = {https://doi.org/10.1007/978-3-319-24953-7\\_32},\n doi = {10.1007/978-3-319-24953-7\\_32},\n timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/atva/FanM15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fan, C.","Mitra, S."],"editor_short":["Finkbeiner, B.","Pu, G.","Zhang, L."],"key":"DBLP:conf/atva/FanM15","id":"DBLP:conf/atva/FanM15","bibbaseid":"fan-mitra-boundedverificationwithontheflydiscrepancycomputation-2015","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-24953-7_32"},"downloads":0},"search_terms":["bounded","verification","fly","discrepancy","computation","fan","mitra"],"keywords":["verification","dblp"],"authorIDs":[],"dataSources":["64vhzPQouTD2xtS3j"]}