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...
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, p.212-220
Volltextzugriff (PDF)

Engineering applications of artificial intelligence, 2021-01, Vol.97, p.104081, Article 104081
2021
Volltextzugriff (PDF)

ACM transactions on modeling and computer simulation, 2018-04, Vol.28 (2), p.1-28
2018
Volltextzugriff (PDF)

The Journal of systems and software, 2021-05, Vol.175, p.110908, Article 110908
2021
Volltextzugriff (PDF)

ACM transactions on computational logic, 2019-02, Vol.20 (1), p.1-55, Article 5
2019
Volltextzugriff (PDF)

Science of computer programming, 2018-11, Vol.166, p.146-166
2018
Volltextzugriff (PDF)

The Journal of systems and software, 2024-04, Vol.210, p.111976, Article 111976
2024
Volltextzugriff (PDF)


The Journal of systems and software, 2022-05, Vol.187, p.111251, Article 111251
2022
Volltextzugriff (PDF)

Computers & electrical engineering, 2021-12, Vol.96, p.107580, Article 107580
2021
Volltextzugriff (PDF)

Science of computer programming, 2016-02, Vol.117, p.17-44
2016
Volltextzugriff (PDF)

Journal of logical and algebraic methods in programming, 2019-12, Vol.109, p.100486, Article 100486
2019
Volltextzugriff (PDF)


ACM transactions on autonomous and adaptive systems, 2017-10, Vol.12 (3), p.1-29
2017
Volltextzugriff (PDF)

Coordination Models and Languages, p.163-178
Volltextzugriff (PDF)

Logical methods in computer science, 2015-12, Vol.11, Issue 4
2015
Volltextzugriff (PDF)

Science of computer programming, 2021-03, Vol.203, p.102584, Article 102584
2021
Volltextzugriff (PDF)


Logical methods in computer science, 2020-01, Vol.16, Issue 4
2020
Volltextzugriff (PDF)



Electronic proceedings in theoretical computer science, 2019-08, Vol.302 (Proc. VORTEX 2018), p.47-61
2019
Volltextzugriff (PDF)



Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n