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

IEEE transactions on automatic control, 2024-06, p.1-8
2024
Volltextzugriff (PDF)

2012 Ninth International Conference on Quantitative Evaluation of Systems, 2012, p.178-188
2012
Volltextzugriff (PDF)


CONCUR 2012 – Concurrency Theory, p.380-394
Volltextzugriff (PDF)


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

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.407-417
2015
Volltextzugriff (PDF)