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, Vol.57 (3), p.305-342
2021
Volltextzugriff (PDF)


Acta informatica, 2020-04, Vol.57 (1-2), p.3-36
2020
Volltextzugriff (PDF)

2015 Formal Methods in Computer-Aided Design (FMCAD), 2015, p.49-56
2015
Volltextzugriff (PDF)

Solving Mean-Payoff Games on the GPU
Automated Technology for Verification and Analysis, 2016, Vol.9938, p.262-267
2016
Volltextzugriff (PDF)

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










Nature reviews. Neuroscience, 2011-07, Vol.12 (7), p.400-413
2011
Volltextzugriff (PDF)









Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n