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...
Open Access
X-Klaim Is Back
Models, Languages, and Tools for Concurrent and Distributed Programming, p.115-135
Volltextzugriff (PDF)

Coordination Models and Languages, 2023, Vol.LNCS-13908, p.195-213
2023
Volltextzugriff (PDF)







Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, p.283-300
Volltextzugriff (PDF)



Programming Languages and Systems, p.33-47
Volltextzugriff (PDF)


Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, p.361-379
Volltextzugriff (PDF)





Team Automata: Overview and Roadmap
Coordination Models and Languages, p.161-198
Volltextzugriff (PDF)






Encoding Petri Nets into CCS
Coordination Models and Languages, p.38-55
Volltextzugriff (PDF)
Aktive Filter
PublikationsformBuchkapitel