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, 2022-08, Vol.61 (1), p.63-89
2022
Volltextzugriff (PDF)



Software and systems modeling, 2024-04, Vol.23 (2), p.285-287
2024
Volltextzugriff (PDF)



ACM transactions on programming languages and systems, 2024-09, Vol.46 (3), p.1-50, Article 9
2024
Volltextzugriff (PDF)

Open Access
Symbolic execution formally explained
Formal aspects of computing, 2021-08, Vol.33 (4-5), p.617-636
2021
Volltextzugriff (PDF)

Scientific programming, 2016-01, Vol.2016 (2016), p.1-9
2016
Volltextzugriff (PDF)

Journal of physics. D, Applied physics, 2004-08, Vol.37 (15), p.2049-2053
2004
Volltextzugriff (PDF)

Logical methods in computer science, 2014-12, Vol.10, Issue 4, p.1-29
2014
Volltextzugriff (PDF)

International journal on software tools for technology transfer, 2022-10, Vol.24 (5), p.783-802
2022
Volltextzugriff (PDF)


Journal of automated reasoning, 2019-01, Vol.62 (1), p.93-126
2019
Volltextzugriff (PDF)

Fundamenta informaticae, 2018-01, Vol.159 (3), p.197-256
2018
Volltextzugriff (PDF)




Journal of magnetism and magnetic materials, 2004-12, Vol.283 (2-3), p.409-414
2004
Volltextzugriff (PDF)



Journal of computer and system sciences, 2012-05, Vol.78 (3), p.823-852
2012
Volltextzugriff (PDF)

Aktive Filter
PublikationsformBuchkapitel
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n