{"_id":"ESymnHhemHjmNMjp4","bibbaseid":"blazy-maroneze-pichardie-formalverificationofloopboundestimationforwcetanalysis-2013","downloads":0,"creationDate":"2019-02-19T13:31:04.733Z","title":"Formal verification of loop bound estimation for WCET analysis","author_short":["Blazy, S.","Maroneze, A.","Pichardie, D."],"year":2013,"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal verification of loop bound estimation for WCET analysis","booktitle":"Working Conference on Verified Software: Theories, Tools, and Experiments","publisher":"Springer","author":[{"propositions":[],"lastnames":["Blazy"],"firstnames":["Sandrine"],"suffixes":[]},{"propositions":[],"lastnames":["Maroneze"],"firstnames":["André"],"suffixes":[]},{"propositions":[],"lastnames":["Pichardie"],"firstnames":["David"],"suffixes":[]}],"year":"2013","note":"tex.ids= blazyFormalVerificationLoop2013a, blazyFormalVerificationLoop2013b","keywords":"⛔ No DOI found","pages":"281–303","bibtex":"@inproceedings{blazy_formal_2013,\n\ttitle = {Formal verification of loop bound estimation for {WCET} analysis},\n\tbooktitle = {Working {Conference} on {Verified} {Software}: {Theories}, {Tools}, and {Experiments}},\n\tpublisher = {Springer},\n\tauthor = {Blazy, Sandrine and Maroneze, André and Pichardie, David},\n\tyear = {2013},\n\tnote = {tex.ids= blazyFormalVerificationLoop2013a, blazyFormalVerificationLoop2013b},\n\tkeywords = {⛔ No DOI found},\n\tpages = {281--303},\n}\n\n","author_short":["Blazy, S.","Maroneze, A.","Pichardie, D."],"key":"blazy_formal_2013","id":"blazy_formal_2013","bibbaseid":"blazy-maroneze-pichardie-formalverificationofloopboundestimationforwcetanalysis-2013","role":"author","urls":{},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"search_terms":["formal","verification","loop","bound","estimation","wcet","analysis","blazy","maroneze","pichardie"],"keywords":["⛔ no doi found"],"authorIDs":[],"dataSources":["dFq2BpHTjvGdGdpXC","YCBcQPneB9oxahSnp"]}