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


Open Access
Open access intrapartum CTG database
BMC pregnancy and childbirth, 2014-01, Vol.14 (1), p.16-16, Article 16
2014
Volltextzugriff (PDF)


Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-32
2018
Volltextzugriff (PDF)







Chain-Free String Constraints
Automated Technology for Verification and Analysis, 2019, p.277-293
2019
Volltextzugriff (PDF)

Lazy Automata Techniques for WS1S
Tools and Algorithms for the Construction and Analysis of Systems, p.407-425
Volltextzugriff (PDF)












Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt