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

International journal of infectious diseases, 2012-06, Vol.16, p.e147-e147
2012
Volltextzugriff (PDF)










1st edition., 2020
Volltextzugriff (PDF)



Software Engineering and Formal Methods, p.47-65
Volltextzugriff (PDF)


Open Access
Prioritise the Best Variation
Formal Techniques for Distributed Objects, Components, and Systems, p.100-119
Volltextzugriff (PDF)

Software Engineering and Formal Methods, p.246-262
Volltextzugriff (PDF)

21st International Conference on Software Engineering and Formal Methods, SEFM 2023, Eindhoven, Netherlands, 2023, Vol.14323 LNCS, p.106-125
2023
Volltextzugriff (PDF)


Software Engineering and Formal Methods, 2023, p.126-144
2023
Volltextzugriff (PDF)

Formal Techniques for Distributed Objects, Components, and Systems, p.42-59
Volltextzugriff (PDF)

Formal Techniques for Distributed Objects, Components, and Systems, p.226-243
Volltextzugriff (PDF)


Open Access
On Bidirectional Runtime Enforcement
Formal Techniques for Distributed Objects, Components, and Systems, p.3-21
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt