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...
SIAM journal on computing, 2010-01, Vol.39 (7-8), p.3403-3423
2010
Volltextzugriff (PDF)

PLoS computational biology, 2013-10, Vol.9 (10), p.e1003227-e1003227
2013
Volltextzugriff (PDF)


Tools and Algorithms for the Construction and Analysis of Systems, 2016, p.130-146
2016
Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems, 2016, p.260-279
2016
Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems, 2016, p.770-787
2016
Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems, 2016, p.811-830
2016
Volltextzugriff (PDF)


Tools and Algorithms for the Construction and Analysis of Systems, 2016, p.625-641
2016
Volltextzugriff (PDF)


Tools and Algorithms for the Construction and Analysis of Systems, 2016, p.560-566
2016
Volltextzugriff (PDF)

Robots at the Edge of the Cloud
Tools and Algorithms for the Construction and Analysis of Systems, 2016, p.3-13
2016
Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems, 2016, p.887-904
2016
Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems, 2016, p.204-221
2016
Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems, 2016, p.480-496
2016
Volltextzugriff (PDF)

Fundamental Approaches to Software Engineering, 2009, Vol.5503, p.470-485
2009
Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems, 2016, p.736-751
2016
Volltextzugriff (PDF)

Fundamental Approaches to Software Engineering, 2009, Vol.5503, p.385-400
2009
Volltextzugriff (PDF)

Verified Software. Theories, Tools, and Experiments, 2016, Vol.9971, p.8-26
2016
Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems, 2016, p.54-70
2016
Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems, 2016, p.167-185
2016
Volltextzugriff (PDF)

Open Access
TcT: Tyrolean Complexity Tool
Tools and Algorithms for the Construction and Analysis of Systems, 2016, p.407-423
2016
Volltextzugriff (PDF)

Bit-Vector Optimization
Tools and Algorithms for the Construction and Analysis of Systems, 2016, p.851-867
2016
Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems, 2016, p.367-384
2016
Volltextzugriff (PDF)

Open Access
T2: Temporal Property Verification
Tools and Algorithms for the Construction and Analysis of Systems, 2016, p.387-393
2016
Volltextzugriff (PDF)
Aktive Filter
ThemaMale
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n