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...
Advances in experimental medicine and biology, 2023, Vol.1429, p.191-204
2023
Link zum Volltext


Pointer Race Freedom
Verification, Model Checking, And Abstract Interpretation, VMCAI 2016, 2016, p.393-412
2016
Link zum Volltext


2nd ed. 2017, 2017
Link zum Volltext



Aktive Filter
KollektionEbook Central Perpetual and DDA
KollektionHEAL-Link subscriptions: Springer Book Series