Stephan Wilhelm. Symbolic representations in WCET analysis. PhD thesis, Saarland University, 2012. [doi]
@phdthesis{dnb-652, title = {Symbolic representations in WCET analysis}, author = {Stephan Wilhelm}, year = {2012}, url = {http://d-nb.info/1052549888}, researchr = {https://researchr.org/publication/dnb-652}, cites = {0}, citedby = {0}, school = {Saarland University}, }