@inproceedings{DBLP:conf/atva/BliudzeCJMRSW15,
  author    = {Simon Bliudze and
               Alessandro Cimatti and
               Mohamad Jaber and
               Sergio Mover and
               Marco Roveri and
               Wajeb Saab and
               Qiang Wang},
  editor    = {Bernd Finkbeiner and
               Geguang Pu and
               Lijun Zhang},
  title     = {Formal Verification of Infinite-State {BIP} Models},
  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     = {326--343},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24953-7\_25},
  doi       = {10.1007/978-3-319-24953-7\_25},
  timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/atva/BliudzeCJMRSW15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"ccyc2pd6gZ38XPxt3","bibbaseid":"bliudze-cimatti-jaber-mover-roveri-saab-wang-formalverificationofinfinitestatebipmodels-2015","author_short":["Bliudze, S.","Cimatti, A.","Jaber, M.","Mover, S.","Roveri, M.","Saab, W.","Wang, Q."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Simon"],"propositions":[],"lastnames":["Bliudze"],"suffixes":[]},{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Cimatti"],"suffixes":[]},{"firstnames":["Mohamad"],"propositions":[],"lastnames":["Jaber"],"suffixes":[]},{"firstnames":["Sergio"],"propositions":[],"lastnames":["Mover"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Roveri"],"suffixes":[]},{"firstnames":["Wajeb"],"propositions":[],"lastnames":["Saab"],"suffixes":[]},{"firstnames":["Qiang"],"propositions":[],"lastnames":["Wang"],"suffixes":[]}],"editor":[{"firstnames":["Bernd"],"propositions":[],"lastnames":["Finkbeiner"],"suffixes":[]},{"firstnames":["Geguang"],"propositions":[],"lastnames":["Pu"],"suffixes":[]},{"firstnames":["Lijun"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]}],"title":"Formal Verification of Infinite-State BIP Models","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":"326–343","publisher":"Springer","year":"2015","url":"https://doi.org/10.1007/978-3-319-24953-7_25","doi":"10.1007/978-3-319-24953-7_25","timestamp":"Mon, 15 Feb 2021 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/atva/BliudzeCJMRSW15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/atva/BliudzeCJMRSW15,\n author = {Simon Bliudze and\n Alessandro Cimatti and\n Mohamad Jaber and\n Sergio Mover and\n Marco Roveri and\n Wajeb Saab and\n Qiang Wang},\n editor = {Bernd Finkbeiner and\n Geguang Pu and\n Lijun Zhang},\n title = {Formal Verification of Infinite-State {BIP} Models},\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 = {326--343},\n publisher = {Springer},\n year = {2015},\n url = {https://doi.org/10.1007/978-3-319-24953-7\\_25},\n doi = {10.1007/978-3-319-24953-7\\_25},\n timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/atva/BliudzeCJMRSW15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bliudze, S.","Cimatti, A.","Jaber, M.","Mover, S.","Roveri, M.","Saab, W.","Wang, Q."],"editor_short":["Finkbeiner, B.","Pu, G.","Zhang, L."],"key":"DBLP:conf/atva/BliudzeCJMRSW15","id":"DBLP:conf/atva/BliudzeCJMRSW15","bibbaseid":"bliudze-cimatti-jaber-mover-roveri-saab-wang-formalverificationofinfinitestatebipmodels-2015","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-24953-7_25"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/83/563.bib","dataSources":["SzPGZamk2BCyHJTQr"],"keywords":[],"search_terms":["formal","verification","infinite","state","bip","models","bliudze","cimatti","jaber","mover","roveri","saab","wang"],"title":"Formal Verification of Infinite-State BIP Models","year":2015}