BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-179711, author = {Huber, Benedikt and Schoeberl, Martin}, title = {Comparison of Implicit Path Enumeration and Model Checking based WCET Analysis}, booktitle = {Worst-Case Execution Time (WCET) Analsysis}, year = {2009}, pages = {27--38}, publisher = {Austrian Computer Society}, address = {252}, isbn = {978-3-85403-252-6}, note = {talk: 9th International Workshop on Worst-Case Execution Time (WECT) Analysis, Dublin, Ireland; 2009-06-30} } 1 Datensatz ausgegeben