%0 Conference Paper %1 conf/wcet/MaronezeBPP14 %A Maroneze, André %A Blazy, Sandrine %A Pichardie, David %A Puaut, Isabelle %B WCET %D 2014 %E Falk, Heiko %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 11-20 %T A Formally Verified WCET Estimation Tool. %U http://dblp.uni-trier.de/db/conf/wcet/wcet2014.html#MaronezeBPP14 %V 39 %@ 978-3-939897-69-9

@inproceedings{conf/wcet/MaronezeBPP14, added-at = {2021-08-16T00:00:00.000+0200}, author = {Maroneze, André and Blazy, Sandrine and Pichardie, David and Puaut, Isabelle}, biburl = {https://www.bibsonomy.org/bibtex/29f0a591a6fc7dbbd2c8ec1bc488e6aeb/dblp}, booktitle = {WCET}, crossref = {conf/wcet/2014}, editor = {Falk, Heiko}, ee = {https://doi.org/10.4230/OASIcs.WCET.2014.11}, interhash = {e1ca456eef0aae087519d053a9eae540}, intrahash = {9f0a591a6fc7dbbd2c8ec1bc488e6aeb}, isbn = {978-3-939897-69-9}, keywords = {dblp}, pages = {11-20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {OASIcs}, timestamp = {2024-04-09T19:05:25.000+0200}, title = {A Formally Verified WCET Estimation Tool.}, url = {http://dblp.uni-trier.de/db/conf/wcet/wcet2014.html#MaronezeBPP14}, volume = 39, year = 2014 }