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





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

Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.262-282
2015
Volltextzugriff (PDF)

Application and Theory of Petri Nets and Concurrency, 2020, p.153-175
2020
Volltextzugriff (PDF)

Application and Theory of Petri Nets and Concurrency, 2020, p.131-152
2020
Volltextzugriff (PDF)






Trust and Reputation Systems
Foundations of Security Analysis and Design IV, p.209-245
Volltextzugriff (PDF)




Foundations of Security Analysis and Design VI, p.231-274
Volltextzugriff (PDF)




Foundations of Security Analysis and Design VI, p.125-151
Volltextzugriff (PDF)

A Petri net semantics for π-calculus
CONCUR '95: Concurrency Theory, 2005, p.145-159
2005
Volltextzugriff (PDF)

Aktive Filter
KollektionSpringer Books
PublikationsformArtikel
ThemaSoftware