%0 Thesis %1 phd/dnb/Wiersema21 %A Wiersema, Tobias %D 2021 %K dblp %T Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware.

@phdthesis{phd/dnb/Wiersema21, added-at = {2021-11-29T00:00:00.000+0100}, author = {Wiersema, Tobias}, biburl = {https://www.bibsonomy.org/bibtex/251b5a613cd44faad4bdfb2170b21fe4e/dblp}, ee = {https://d-nb.info/1245121359}, interhash = {71701c3bed8eccd9f073c4399973eee5}, intrahash = {51b5a613cd44faad4bdfb2170b21fe4e}, keywords = {dblp}, school = {University of Paderborn, Germany}, timestamp = {2024-04-09T08:23:10.000+0200}, title = {Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware.}, year = 2021 }