{"_id":"rycwNdfX7YdRv4dRR","bibbaseid":"bogomolov-schilling-bartocci-batt-kong-grosu-abstractionbasedparametersynthesisformultiaffinesystems-2015","downloads":0,"creationDate":"2017-04-26T09:07:48.178Z","title":"Abstraction-Based Parameter Synthesis for Multiaffine Systems.","author_short":["Bogomolov, S.","Schilling, C.","Bartocci, E.","Batt, G.","Kong, H.","Grosu, R."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/schilling?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2020-01-04T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Bogomolov"],"firstnames":["Sergiy"],"suffixes":[]},{"propositions":[],"lastnames":["Schilling"],"firstnames":["Christian"],"suffixes":[]},{"propositions":[],"lastnames":["Bartocci"],"firstnames":["Ezio"],"suffixes":[]},{"propositions":[],"lastnames":["Batt"],"firstnames":["Grégory"],"suffixes":[]},{"propositions":[],"lastnames":["Kong"],"firstnames":["Hui"],"suffixes":[]},{"propositions":[],"lastnames":["Grosu"],"firstnames":["Radu"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2332ca314e967d20f174c1fb6d919fc1e/dblp","booktitle":"Haifa Verification Conference","crossref":"conf/hvc/2015","editor":[{"propositions":[],"lastnames":["Piterman"],"firstnames":["Nir"],"suffixes":[]}],"ee":"https://www.wikidata.org/entity/Q62037215","interhash":"3bb72b7740eea56690e9013c135ad451","intrahash":"332ca314e967d20f174c1fb6d919fc1e","isbn":"978-3-319-26286-4","keywords":"dblp","pages":"19-35","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2020-01-07T11:43:46.000+0100","title":"Abstraction-Based Parameter Synthesis for Multiaffine Systems.","url":"http://dblp.uni-trier.de/db/conf/hvc/hvc2015.html#BogomolovSBBKG15","volume":"9434","year":"2015","bibtex":"@inproceedings{conf/hvc/BogomolovSBBKG15,\n added-at = {2020-01-04T00:00:00.000+0100},\n author = {Bogomolov, Sergiy and Schilling, Christian and Bartocci, Ezio and Batt, Grégory and Kong, Hui and Grosu, Radu},\n biburl = {https://www.bibsonomy.org/bibtex/2332ca314e967d20f174c1fb6d919fc1e/dblp},\n booktitle = {Haifa Verification Conference},\n crossref = {conf/hvc/2015},\n editor = {Piterman, Nir},\n ee = {https://www.wikidata.org/entity/Q62037215},\n interhash = {3bb72b7740eea56690e9013c135ad451},\n intrahash = {332ca314e967d20f174c1fb6d919fc1e},\n isbn = {978-3-319-26286-4},\n keywords = {dblp},\n pages = {19-35},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2020-01-07T11:43:46.000+0100},\n title = {Abstraction-Based Parameter Synthesis for Multiaffine Systems.},\n url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2015.html#BogomolovSBBKG15},\n volume = 9434,\n year = 2015\n}\n\n","author_short":["Bogomolov, S.","Schilling, C.","Bartocci, E.","Batt, G.","Kong, H.","Grosu, R."],"editor_short":["Piterman, N."],"key":"conf/hvc/BogomolovSBBKG15","id":"conf/hvc/BogomolovSBBKG15","bibbaseid":"bogomolov-schilling-bartocci-batt-kong-grosu-abstractionbasedparametersynthesisformultiaffinesystems-2015","role":"author","urls":{"Link":"https://www.wikidata.org/entity/Q62037215","Paper":"http://dblp.uni-trier.de/db/conf/hvc/hvc2015.html#BogomolovSBBKG15"},"keyword":["dblp"],"downloads":0},"search_terms":["abstraction","based","parameter","synthesis","multiaffine","systems","bogomolov","schilling","bartocci","batt","kong","grosu"],"keywords":["dblp"],"authorIDs":[],"dataSources":["wzaMXjDv6gdxH4D3T"]}