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


LATIN 2010: Theoretical Informatics, 2010, Vol.6034, p.96-107
2010
Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems, 2008, Vol.4963, p.299-314
2008
Volltextzugriff (PDF)


Computer Aided Verification, 2009, Vol.5643, p.477-492
2009
Volltextzugriff (PDF)

Computer Aided Verification, 2011, Vol.6806, p.99-115
2011
Volltextzugriff (PDF)

Automated Technology for Verification and Analysis, 2016, Vol.9938, p.174-191
2016
Volltextzugriff (PDF)



Static Analysis, 2011, Vol.6887, p.129-145
2011
Volltextzugriff (PDF)



From Programs to Systems - the Systems Perspective in Computing, 2014, Vol.8415, p.21-38
2014
Volltextzugriff (PDF)


Open Access
Preventing Unauthorized Data Flows
Data and Applications Security and Privacy XXXI, 2017, Vol.10359, p.41-62
2017
Volltextzugriff (PDF)






Hydrogels in Cell-Based Therapies, 2014
2014
Volltextzugriff (PDF)

UPMARC, 2014, p.21
2014
Volltextzugriff (PDF)

Hydrogels in Cell-Based Therapies, 2014, p.1-30
2014
Volltextzugriff (PDF)

Hydrocephalus
Rickham's Neonatal Surgery, 2018, p.931-956
2018
Volltextzugriff (PDF)