@inproceedings{Met2004,
Author = {Metzner, A.},
Title = {Why Model Checking Can Improve WCET Analysis},

Year = {2004},
Month = {01},
Editor = {Springer-Verlag},
Publisher = {Springer-Verlag},
Series = {Lecture Notes in Computer Science 3114},
Address = {Berlin, Heidelberg},
Isbn = {1},
Booktitle = {Proceedings of the 16th International Conference on Computer Aided Verification (CAV'04)},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }