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



Formal Approaches to Software Testing and Runtime Verification, 2006, p.40-54
2006
Volltextzugriff (PDF)

Theorem Proving in Higher Order Logics, p.352-367
Volltextzugriff (PDF)

Formal Approaches to Software Testing and Runtime Verification, 2006, p.1-19
2006
Volltextzugriff (PDF)


Formal Approaches to Software Testing and Runtime Verification, 2006, p.70-84
2006
Volltextzugriff (PDF)

Formal Approaches to Software Testing and Runtime Verification, 2006, p.240-253
2006
Volltextzugriff (PDF)


Formal Approaches to Software Testing and Runtime Verification, 2006, p.163-177
2006
Volltextzugriff (PDF)

Formal Approaches to Software Testing and Runtime Verification, 2006, p.193-208
2006
Volltextzugriff (PDF)

Formal Approaches to Software Testing and Runtime Verification, 2006, p.225-239
2006
Volltextzugriff (PDF)


Formal Approaches to Software Testing and Runtime Verification, 2006, p.133-147
2006
Volltextzugriff (PDF)

Formal Approaches to Software Testing and Runtime Verification, 2006, p.148-162
2006
Volltextzugriff (PDF)

Formal Approaches to Software Testing and Runtime Verification, 2006, p.115-132
2006
Volltextzugriff (PDF)


Formal Approaches to Software Testing and Runtime Verification, 2006, p.100-114
2006
Volltextzugriff (PDF)

Open Access
Dynamic Architecture Extraction
Formal Approaches to Software Testing and Runtime Verification, 2006, p.209-224
2006
Volltextzugriff (PDF)

Approximation Algorithms for Combinatorial Optimization, 2002, Vol.2462, p.146-160
2002
Volltextzugriff (PDF)

8th International Munich Chassis Symposium 2017, p.447-464
Volltextzugriff (PDF)

IEEE transactions on microwave theory and techniques, 1996-02, Vol.44 (2), p.318-325
1996
Volltextzugriff (PDF)

Design automation for embedded systems, 2000-08, Vol.5 (3), p.265-280
2000
Volltextzugriff (PDF)

IEEE transactions on microwave theory and techniques, 1978-04, Vol.26 (4), p.266-274
1978
Volltextzugriff (PDF)
Aktive Filter
ThemaTechnology
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n