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 methods in system design, 2021-07, Vol.57 (1), p.53-86
2021
Volltextzugriff (PDF)


2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2021, p.6564-6572
2021
Volltextzugriff (PDF)

2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2022, p.13833-13842
2022
Volltextzugriff (PDF)

2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2023, p.17089-17099
2023
Volltextzugriff (PDF)


SIGPLAN notices, 2017, Vol.52 (1), p.330-343
2017
Volltextzugriff (PDF)