Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
IEEE access, 2021, Vol.9, p.148353-148373
2021
Volltextzugriff (PDF)

Logical methods in computer science, 2022-02, Vol.18, Issue 1
2022
Volltextzugriff (PDF)

Financial Cryptography and Data Security, p.541-560
Volltextzugriff (PDF)

Computationally sound Bitcoin tokens
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021, p.1-15
2021
Volltextzugriff (PDF)


Bitcoin Covenants Unchained
Leveraging Applications of Formal Methods, Verification and Validation: Applications, p.25-42
Volltextzugriff (PDF)


Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019, p.1124-1128
2019
Volltextzugriff (PDF)








Aerospace Alloys
1st ed. 2020., 2019
Volltextzugriff (PDF)

IEEE multimedia, 1999-10, Vol.6 (4), p.74-83
1999
Volltextzugriff (PDF)

IEEE multimedia, 2000-01, Vol.7 (1), p.76-84
2000
Volltextzugriff (PDF)