Fridtjof Feldbusch. Verifikation von Schaltungsbeschreibungen auf höheren Ebenen durch Rückübersetzung. PhD thesis, Karlsruhe Institute of Technology, Germany, 1993. [doi]
@phdthesis{dnb-12800,
title = {Verifikation von Schaltungsbeschreibungen auf höheren Ebenen durch Rückübersetzung},
author = {Fridtjof Feldbusch},
year = {1993},
url = {http://d-nb.info/930944488},
researchr = {https://researchr.org/publication/dnb-12800},
cites = {0},
citedby = {0},
school = {Karlsruhe Institute of Technology, Germany},
}