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






15th International Conference, IFM 2019, Bergen, Norway, 2019, Vol.11918, p.341-359
2019
Volltextzugriff (PDF)



15th International Conference, IFM 2019, Bergen, Norway, 2019, Vol.11918, p.504-513
2019
Volltextzugriff (PDF)


Mammalia (Paris), 2001, Vol.65 (4), p.509-520
2001
Volltextzugriff (PDF)

The Digital Thread in Industry 4.0
Integrated Formal Methods, 2019, Vol.11918, p.3-24
2019
Volltextzugriff (PDF)

Formal Aspects of Component Software, 2022, Vol.13712, p.222-243
2022
Volltextzugriff (PDF)

Formal Aspects of Component Software, 2022, Vol.13712, p.205-221
2022
Volltextzugriff (PDF)

Open Access
Realisability of Branching Pomsets
Formal Aspects of Component Software, 2022, Vol.13712, p.185-204
2022
Volltextzugriff (PDF)


Formal Aspects of Component Software, 2022, Vol.13712, p.20-38
2022
Volltextzugriff (PDF)

Open Access
Strong Call-by-Value and Multi Types
Theoretical Aspects of Computing - ICTAC 2023, 2023, Vol.14446, p.196-215
2023
Volltextzugriff (PDF)


Theoretical Aspects of Computing - ICTAC 2023, 2023, Vol.14446, p.74-82
2023
Volltextzugriff (PDF)

Formal Aspects of Component Software, 2022, Vol.13712, p.161-182
2022
Volltextzugriff (PDF)

Formal Aspects of Component Software, 2022, Vol.13712, p.121-140
2022
Volltextzugriff (PDF)

Theoretical Aspects of Computing - ICTAC 2023, 2023, Vol.14446, p.236-255
2023
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt