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...
Science of computer programming, 2023-08, Vol.230, p.102976, Article 102976
2023
Volltextzugriff (PDF)

Concurrency and computation, 2022-02, Vol.34 (3), p.n/a
2022
Volltextzugriff (PDF)



International journal on software tools for technology transfer, 2019-04, Vol.21 (2), p.203-219
2019
Volltextzugriff (PDF)



Formal Techniques for Distributed Objects, Components, and Systems, 2017, Vol.10321, p.17-32
2017
Volltextzugriff (PDF)


Formal Techniques for Safety-Critical Systems, p.75-83
Volltextzugriff (PDF)


ACM computing surveys, 2023-06, Vol.55 (6), p.1-36, Article 127
2023
Volltextzugriff (PDF)



Logical methods in computer science, 2024-01, Vol.20, Issue 1
2024
Volltextzugriff (PDF)


Innovations in systems and software engineering, 2024-04
2024
Volltextzugriff (PDF)

Parametric Timed Pattern Matching
ACM transactions on software engineering and methodology, 2023-02, Vol.32 (1), p.1-35, Article 10
2023
Volltextzugriff (PDF)

Fundamenta informaticae, 2021-09, Vol.182 (1), p.69-94
2021
Volltextzugriff (PDF)

ACM transactions on software engineering and methodology, 2022-10, Vol.31 (4), p.1-36, Article 64
2022
Volltextzugriff (PDF)

ACM computing surveys, 2023-07, Vol.55 (13s), p.1-47, Article 277
2023
Volltextzugriff (PDF)

Joint, bone, spine : revue du rhumatisme, 2009-03, Vol.76 (2), p.184-187
2009
Volltextzugriff (PDF)



Open Access
Timed ATL: Forget Memory, Just Count
The Journal of artificial intelligence research, 2019-01, Vol.66, p.197-223
2019
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n