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

Journal of logical and algebraic methods in programming, 2022-06, Vol.127, p.100772, Article 100772
2022
Volltextzugriff (PDF)

Formal Techniques for Distributed Objects, Components, and Systems, 2020, p.169-186
2020
Volltextzugriff (PDF)

Journal of systems architecture, 2022-08, Vol.129, p.102625, Article 102625
2022
Volltextzugriff (PDF)

Formal aspects of computing, 2015-05, Vol.27 (3), p.551-572
2015
Volltextzugriff (PDF)

Journal of logical and algebraic methods in programming, 2019-10, Vol.107, p.79-107
2019
Volltextzugriff (PDF)

Journal of logical and algebraic methods in programming, 2022-02, Vol.125, p.100733, Article 100733
2022
Volltextzugriff (PDF)





Science of computer programming, 2024-01, Vol.232, p.103046, Article 103046
2024
Volltextzugriff (PDF)


Electronic proceedings in theoretical computer science, 2012-08, Vol.91 (Proc. FOCLASA 2012), p.1-15
2012
Volltextzugriff (PDF)

Software and systems modeling, 2007-03, Vol.6 (1), p.39-58
2007
Volltextzugriff (PDF)

Journal of logical and algebraic methods in programming, 2017-08, Vol.90, p.158-175
2017
Volltextzugriff (PDF)


Journal of logical and algebraic methods in programming, 2021
2021
Volltextzugriff (PDF)

Journal of logical and algebraic methods in programming, 2019-02, Vol.103, p.154-183
2019
Volltextzugriff (PDF)


25th Nordic Conference on Secure IT Systems, NordSec 2020, Virtual, Online, 2021, Vol.12556 LNCS, p.74-91
2021
Volltextzugriff (PDF)

Journal of logical and algebraic methods in programming, 2014-09, Vol.83 (5-6), p.360-383
2014
Volltextzugriff (PDF)

Journal of logical and algebraic methods in programming, 2018-10, Vol.99, p.1-25
2018
Volltextzugriff (PDF)

Lecture notes in computer science, 2004, Vol.2635
1, 2004
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2010-09, Vol.36 (Proc. RTRTS 2010), p.67-81
2010
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n