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...


5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980, 2005, p.63-69
2005
Link zum Volltext

Editorial
Theoretical computer science, 1988-06, Vol.58 (1-3), p.1
1988
Link zum Volltext

R.A.I.R.O. Informatique théorique, 1977, Vol.11 (3), p.237-263
1977
Link zum Volltext

Theoretical computer science, 1983, Vol.22 (1), p.135-173
1983
Link zum Volltext




IoT Device Attestation
Modeling and Design of Secure Internet of Things, 2020, p.435-451
1, 2020
Link zum Volltext







Governance for the Internet of Things
Modeling and Design of Secure Internet of Things, 2020, p.371-381
1, 2020
Link zum Volltext






Modeling and Design of Secure Internet of Things, 2020, p.357-369
1, 2020
Link zum Volltext

Summary and Future Work
Modeling and Design of Secure Internet of Things, 2020, p.635-645
1, 2020
Link zum Volltext