The Auspicious Couple: Symbolic Execution and WCET Analysis (bibtex)
by Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr
Reference:
The Auspicious Couple: Symbolic Execution and WCET AnalysisArmin Biere, Jens Knoop, Laura Kovács, Jakob ZwirchmayrProceedings of the 13th International Workshop on Worst-Case Execution Time Analysis (WCET), pages 53-63, 2013.
Bibtex Entry:
@inproceedings{KovacsWCET13,
title = {The Auspicious Couple: Symbolic Execution and WCET Analysis},
ee = {http://dx.doi.org/10.4230/OASIcs.WCET.2013.53},
booktitle = {Proceedings of the 13th International Workshop on Worst-Case Execution
Time Analysis (WCET)},
author = {Armin Biere and Jens Knoop and Laura Kov{\'a}cs and Jakob Zwirchmayr},
url = {/pubpdf/The_Auspicious_Couple__Symbolic_Execution_and_WCET_Analysis.pdf},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {53-63},
crossref = {DBLP:conf/wcet/2013},
}
Powered by bibtexbrowser