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...
Review: Process Algebra with Timing
Journal of Logic and Computation, 2004-12, Vol.14 (6), p.881-881
2004
Volltextzugriff (PDF)

The journal of maternal-fetal & neonatal medicine, 2009-01, Vol.22 (6), p.469-472
2009
Volltextzugriff (PDF)

Deutsche medizinische Wochenschrift, 2008-01, Vol.133 (3), p.87-91
2008
Volltextzugriff (PDF)

Journal of logic and computation, 2011-04, Vol.21 (2), p.403-404
2011
Volltextzugriff (PDF)

Ultrasound in obstetrics & gynecology, 2010-10, Vol.36 (S1), p.146-146
2010
Volltextzugriff (PDF)

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


Theoretical computer science, 1994-08, Vol.131 (1), p.29-94
1994
Volltextzugriff (PDF)

B’98: Recent Advances in the Development and Use of the B Method, 1998, p.129-147
1998
Volltextzugriff (PDF)

Theoretical computer science, 1995-12, Vol.152 (2), p.305-320
1995
Volltextzugriff (PDF)

Requirements engineering, 2003-11, Vol.8 (4), p.266-288
2003
Volltextzugriff (PDF)

Open Access
Transitive term graph rewriting
Information processing letters, 1996-11, Vol.60 (3), p.109-114
1996
Volltextzugriff (PDF)

Theoretical computer science, 1994-06, Vol.129 (1), p.187-192
1994
Volltextzugriff (PDF)

A Theory of Secure Control Flow
Formal Methods and Software Engineering, 2005, p.111-124
2005
Volltextzugriff (PDF)

Formal aspects of computing, 1999-12, Vol.11 (5), p.498-540
1999
Volltextzugriff (PDF)

Open Access
On regularity in software design
Science of computer programming, 1995-06, Vol.24 (3), p.221-248
1995
Volltextzugriff (PDF)

Formal Methods and Software Engineering, 2005, p.5-35
2005
Volltextzugriff (PDF)

Annals of pure and applied logic, 1995-06, Vol.73 (3), p.277-295
1995
Volltextzugriff (PDF)

Science of computer programming, 2007-07, Vol.67 (2), p.301-329
2007
Volltextzugriff (PDF)

Formal Methods and Software Engineering, 2005, p.360-374
2005
Volltextzugriff (PDF)

Formal Methods and Software Engineering, 2005, p.264-279
2005
Volltextzugriff (PDF)

Formal Methods and Software Engineering, 2005, p.465-479
2005
Volltextzugriff (PDF)


Formal Methods and Software Engineering, 2005, p.251-263
2005
Volltextzugriff (PDF)

Open Access
Weak fibrations
Journal of pure and applied algebra, 1993-04, Vol.86 (1), p.7-22
1993
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt