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...
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, p.130-146
Volltextzugriff (PDF)


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


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

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


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

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

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

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

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

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


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

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

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

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

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


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