@inproceedings{TRF:2015,
Author = {Niels Thole and Heinz Riener and Fey, Goerschwin},
Title = {Equivalence Checking on System Level using A Priori Knowledge.},
Year = {(2015).},
Pages = {177-182},
Note = {gfey, CE},
Howpublished = {15-999 TRF:2015 DDECS},
Booktitle = {<em>IEEE Int'l Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)</em>}
}

@COMMENT{Bibtex file generated on 2026-5-14 with typo3 si_bibtex plugin. Data from https://www.tuhh.de/es/home/publications }