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...
Theoretical computer science, 2023-10, Vol.976, p.114126, Article 114126
2023
Volltextzugriff (PDF)


Formal Methods and Software Engineering, 2020, Vol.12531, p.268-283
2020
Volltextzugriff (PDF)


Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020, Vol.12477, p.416-439
2020
Volltextzugriff (PDF)


Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 2022, p.1626-1635
2022
Volltextzugriff (PDF)

Proceedings of the 11th ACM Symposium on Cloud Computing, 2020, p.387-400
2020
Volltextzugriff (PDF)

American journal of engineering and applied sciences, 2009-04, Vol.2 (4), p.611-619
2009
Volltextzugriff (PDF)

American journal of engineering and applied sciences, 2009-01, Vol.2 (4), p.611-611
2009
Volltextzugriff (PDF)