Marc Schlickling. Timing model derivation: static analysis of hardware description languages. PhD thesis, Saarland University, 2013. [doi]
@phdthesis{dnb-1323, title = {Timing model derivation: static analysis of hardware description languages}, author = {Marc Schlickling}, year = {2013}, url = {http://d-nb.info/1052779859}, researchr = {https://researchr.org/publication/dnb-1323}, cites = {0}, citedby = {0}, school = {Saarland University}, }