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

Bulletin of the Russian Academy of Sciences. Physics, 2024-10, Vol.88 (10), p.1573-1578
2024
Volltextzugriff (PDF)

Automated Technology for Verification and Analysis, 2020, Vol.12302, p.518-534
2020
Volltextzugriff (PDF)

Automated Technology for Verification and Analysis, 2020, Vol.12302, p.537-542
2020
Volltextzugriff (PDF)

Automated Technology for Verification and Analysis, 2020, Vol.12302, p.564-571
2020
Volltextzugriff (PDF)




Automated Technology for Verification and Analysis, 2020, Vol.12302, p.57-74
2020
Volltextzugriff (PDF)

Science of computer programming, 2021-06, Vol.206, p.102622, Article 102622
2021
Volltextzugriff (PDF)

Automated Technology for Verification and Analysis, 2020, Vol.12302, p.92-107
2020
Volltextzugriff (PDF)

Automated Technology for Verification and Analysis, 2020, p.25-53
2020
Volltextzugriff (PDF)


Automated Technology for Verification and Analysis, 2020, Vol.12302, p.377-393
2020
Volltextzugriff (PDF)

Automated Technology for Verification and Analysis, 2020, Vol.12302, p.484-500
2020
Volltextzugriff (PDF)

Automated Technology for Verification and Analysis, 2020, Vol.12302, p.360-376
2020
Volltextzugriff (PDF)


Automated Technology for Verification and Analysis, 2020, Vol.12302, p.288-304
2020
Volltextzugriff (PDF)

Automated Technology for Verification and Analysis, 2020, Vol.12302, p.127-143
2020
Volltextzugriff (PDF)


Automated Technology for Verification and Analysis, 2020, Vol.12302, p.343-359
2020
Volltextzugriff (PDF)

Automated Technology for Verification and Analysis, 2020, Vol.12302, p.557-563
2020
Volltextzugriff (PDF)

Dependable Software Engineering. Theories, Tools, and Applications, 2017, Vol.10606, p.266-280
2017
Volltextzugriff (PDF)

Automated Technology for Verification and Analysis, 2020, Vol.12302, p.144-160
2020
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n