...
Many of the links do only work in the university network. Through the usage of a VPN or a remote session to the terminal server, those are also accessible from home. If any problems occur feel free to contact us.
Bachelor Recommendations
[assigned] A. Procter, W. Harrison, I. Graves, M. Becchi, G. Allwein, "Semantics Driven Hardware Design, Implementation, and Verification with ReWire", LCTES 2015
...