{"_id":"LJ4EYwxDyvnCBzw4a","bibbaseid":"bozzano-cimatti-pires-jones-kimberly-petri-robinson-tonetta-formaldesignandsafetyanalysisofair6110wheelbrakesystem-2015","author_short":["Bozzano, M.","Cimatti, A.","Pires, A. F.","Jones, D.","Kimberly, G.","Petri, T.","Robinson, R.","Tonetta, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal design and safety analysis of AIR6110 wheel brake system","doi":"10/ghvzzx","booktitle":"International Conference on Computer Aided Verification","publisher":"Springer","author":[{"propositions":[],"lastnames":["Bozzano"],"firstnames":["Marco"],"suffixes":[]},{"propositions":[],"lastnames":["Cimatti"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Pires"],"firstnames":["A.","Fernandes"],"suffixes":[]},{"propositions":[],"lastnames":["Jones"],"firstnames":["D."],"suffixes":[]},{"propositions":[],"lastnames":["Kimberly"],"firstnames":["Greg"],"suffixes":[]},{"propositions":[],"lastnames":["Petri"],"firstnames":["T."],"suffixes":[]},{"propositions":[],"lastnames":["Robinson"],"firstnames":["R."],"suffixes":[]},{"propositions":[],"lastnames":["Tonetta"],"firstnames":["Stefano"],"suffixes":[]}],"year":"2015","note":"tex.ids= bozzanoFormalDesignSafety2015, bozzanoFormalDesignSafety2015a, bozzano_formal_2015-1","pages":"518–535","bibtex":"@inproceedings{bozzano_formal_2015,\n\ttitle = {Formal design and safety analysis of {AIR6110} wheel brake system},\n\tdoi = {10/ghvzzx},\n\tbooktitle = {International {Conference} on {Computer} {Aided} {Verification}},\n\tpublisher = {Springer},\n\tauthor = {Bozzano, Marco and Cimatti, Alessandro and Pires, A. Fernandes and Jones, D. and Kimberly, Greg and Petri, T. and Robinson, R. and Tonetta, Stefano},\n\tyear = {2015},\n\tnote = {tex.ids= bozzanoFormalDesignSafety2015, bozzanoFormalDesignSafety2015a, bozzano\\_formal\\_2015-1},\n\tpages = {518--535},\n}\n\n","author_short":["Bozzano, M.","Cimatti, A.","Pires, A. F.","Jones, D.","Kimberly, G.","Petri, T.","Robinson, R.","Tonetta, S."],"key":"bozzano_formal_2015","id":"bozzano_formal_2015","bibbaseid":"bozzano-cimatti-pires-jones-kimberly-petri-robinson-tonetta-formaldesignandsafetyanalysisofair6110wheelbrakesystem-2015","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","design","safety","analysis","air6110","wheel","brake","system","bozzano","cimatti","pires","jones","kimberly","petri","robinson","tonetta"],"title":"Formal design and safety analysis of AIR6110 wheel brake system","year":2015}