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...
IEEE transactions on software engineering, 2008-01, Vol.34 (1), p.33-49
2008
Volltextzugriff (PDF)

Theoretical computer science, 2004-09, Vol.325 (1), p.111-140
2004
Volltextzugriff (PDF)





Formal Methods for Computational Systems Biology, p.215-264
Volltextzugriff (PDF)

IEEE transactions on software engineering, 2001-10, Vol.27 (10), p.867-889
2001
Volltextzugriff (PDF)

Formal Aspects in Security and Trust, p.96-110
Volltextzugriff (PDF)

Programming Languages and Systems, p.319-334
Volltextzugriff (PDF)





Journal of logical and algebraic methods in programming, 2016-04, Vol.85 (3), p.425-446
2016
Volltextzugriff (PDF)

Principles of Security and Trust, p.3-29
Volltextzugriff (PDF)

Future generation computer systems, 2005-05, Vol.21 (5), p.645-653
2005
Volltextzugriff (PDF)

Formal Aspects in Security and Trust, 2010, Vol.5983, p.111-125
2010
Volltextzugriff (PDF)

Programming Languages and Systems, p.284-301
Volltextzugriff (PDF)

HMM-Based Trust Model
Formal Aspects in Security and Trust, p.21-35
Volltextzugriff (PDF)

Future generation computer systems, 2002-05, Vol.18 (6), p.747-756
2002
Volltextzugriff (PDF)

Programming Languages and Systems, p.159-173
Volltextzugriff (PDF)

Programming Languages and Systems, p.114-128
Volltextzugriff (PDF)

Programming Languages and Systems, p.204-222
Volltextzugriff (PDF)

Open Access
Core Formal Molecular Biology
Programming Languages and Systems, p.302-318
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt