{"_id":"fmgADjL8Sr3yAEo9j","bibbaseid":"alvaromiyazawa-formalverificationofimplementationsofstateflowchartswhiteroseethesesonline","author_short":["Alvaro Miyazawa"],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","title":"Formal verification of implementations of Stateflow charts - White Rose eTheses Online","url":"http://etheses.whiterose.ac.uk/2353/","urldate":"2021-01-28","author":[{"firstnames":[],"propositions":[],"lastnames":["Alvaro Miyazawa"],"suffixes":[]}],"bibtex":"@phdthesis{alvaro_miyazawa_formal_nodate,\n\ttitle = {Formal verification of implementations of {Stateflow} charts - {White} {Rose} {eTheses} {Online}},\n\turl = {http://etheses.whiterose.ac.uk/2353/},\n\turldate = {2021-01-28},\n\tauthor = {{Alvaro Miyazawa}},\n}\n\n","author_short":["Alvaro Miyazawa"],"key":"alvaro_miyazawa_formal_nodate","id":"alvaro_miyazawa_formal_nodate","bibbaseid":"alvaromiyazawa-formalverificationofimplementationsofstateflowchartswhiteroseethesesonline","role":"author","urls":{"Paper":"http://etheses.whiterose.ac.uk/2353/"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"phdthesis","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","verification","implementations","stateflow","charts","white","rose","etheses","online","alvaro miyazawa"],"title":"Formal verification of implementations of Stateflow charts - White Rose eTheses Online","year":null}