@inproceedings{bourbouh_automated_2017,
	title = {Automated analysis of {Stateflow} models},
	url = {https://doi.org/10.29007/b8gq},
	doi = {10/gh3pk3},
	language = {English},
	publisher = {EasyChair},
	author = {Bourbouh, Hamza and Garoche, Pierre-Loic and Garion, Christophe and Gurfinkel, Arie and Temesghen, Kahsai and Thirioux, Xavier},
	year = {2017},
	keywords = {Verification},
}

{"_id":"n5226Gura5hnTQ7Qs","bibbaseid":"bourbouh-garoche-garion-gurfinkel-temesghen-thirioux-automatedanalysisofstateflowmodels-2017","author_short":["Bourbouh, H.","Garoche, P.","Garion, C.","Gurfinkel, A.","Temesghen, K.","Thirioux, X."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Automated analysis of Stateflow models","url":"https://doi.org/10.29007/b8gq","doi":"10/gh3pk3","language":"English","publisher":"EasyChair","author":[{"propositions":[],"lastnames":["Bourbouh"],"firstnames":["Hamza"],"suffixes":[]},{"propositions":[],"lastnames":["Garoche"],"firstnames":["Pierre-Loic"],"suffixes":[]},{"propositions":[],"lastnames":["Garion"],"firstnames":["Christophe"],"suffixes":[]},{"propositions":[],"lastnames":["Gurfinkel"],"firstnames":["Arie"],"suffixes":[]},{"propositions":[],"lastnames":["Temesghen"],"firstnames":["Kahsai"],"suffixes":[]},{"propositions":[],"lastnames":["Thirioux"],"firstnames":["Xavier"],"suffixes":[]}],"year":"2017","keywords":"Verification","bibtex":"@inproceedings{bourbouh_automated_2017,\n\ttitle = {Automated analysis of {Stateflow} models},\n\turl = {https://doi.org/10.29007/b8gq},\n\tdoi = {10/gh3pk3},\n\tlanguage = {English},\n\tpublisher = {EasyChair},\n\tauthor = {Bourbouh, Hamza and Garoche, Pierre-Loic and Garion, Christophe and Gurfinkel, Arie and Temesghen, Kahsai and Thirioux, Xavier},\n\tyear = {2017},\n\tkeywords = {Verification},\n}\n\n","author_short":["Bourbouh, H.","Garoche, P.","Garion, C.","Gurfinkel, A.","Temesghen, K.","Thirioux, X."],"key":"bourbouh_automated_2017","id":"bourbouh_automated_2017","bibbaseid":"bourbouh-garoche-garion-gurfinkel-temesghen-thirioux-automatedanalysisofstateflowmodels-2017","role":"author","urls":{"Paper":"https://doi.org/10.29007/b8gq"},"keyword":["Verification"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["verification"],"search_terms":["automated","analysis","stateflow","models","bourbouh","garoche","garion","gurfinkel","temesghen","thirioux"],"title":"Automated analysis of Stateflow models","year":2017}