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...
Lecture notes in computer science, 2005, p.118-139
2005
Volltextzugriff (PDF)

IEEE transactions on software engineering, 1998-09, Vol.24 (9), p.741-758
1998
Volltextzugriff (PDF)

Formal aspects of computing, 2005-12, Vol.17 (4), p.390-422
2005
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.222-241
2005
Volltextzugriff (PDF)

Information Security and Cryptology, 2005, p.63-74
2005
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.85-103
2005
Volltextzugriff (PDF)

CZT: A Framework for Z Tools
Lecture notes in computer science, 2005, p.65-84
2005
Volltextzugriff (PDF)

Formal Aspects in Security and Trust, 2006, p.112-126
2006
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.6-23
2005
Volltextzugriff (PDF)




Formal Aspects of Security, 2003, p.97-114
2003
Volltextzugriff (PDF)

Open Access
A brief history of Timed CSP
Theoretical computer science, 1995-02, Vol.138 (2), p.243-271
1995
Volltextzugriff (PDF)

Relative Trustworthiness
Formal Aspects in Security and Trust, 2006, p.158-170
2006
Volltextzugriff (PDF)

Formal Aspects in Security and Trust, 2006, p.244-257
2006
Volltextzugriff (PDF)


Lecture notes in computer science, 2005, p.104-123
2005
Volltextzugriff (PDF)

Process Refinement in B
Lecture notes in computer science, 2005, p.45-64
2005
Volltextzugriff (PDF)

Formal Aspects in Security and Trust, 2006, p.171-186
2006
Volltextzugriff (PDF)




Non-atomic Refinement in Z and CSP
Lecture notes in computer science, 2005, p.24-44
2005
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.242-261
2005
Volltextzugriff (PDF)
Aktive Filter
SpracheDeutsch
ThemaApplied Sciences
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n