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


Pointer Race Freedom
Verification, Model Checking, And Abstract Interpretation, VMCAI 2016, 2016, p.393-412
2016
Volltextzugriff (PDF)


Electric Vehicle Systems Architecture and Standardization Needs, p.91-104
Volltextzugriff (PDF)