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...
Advances in Mechanical Engineering, 2019-08, Vol.11 (8)
2019
Volltextzugriff (PDF)


Static Analysis, 2013, p.43-62
2013
Volltextzugriff (PDF)







Witnessing Program Transformations
Static Analysis, p.304-323
Volltextzugriff (PDF)



Localizing Widening and Narrowing
Static Analysis, p.25-42
Volltextzugriff (PDF)



Verification, Model Checking, and Abstract Interpretation, p.83-97
Volltextzugriff (PDF)

Verification, Model Checking, and Abstract Interpretation, p.52-67
Volltextzugriff (PDF)

Static Analysis, p.126-149
Volltextzugriff (PDF)







Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n