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
A theory of normed simulations
ACM transactions on computational logic, 2004-10, Vol.5 (4), p.577-610
2004
Volltextzugriff (PDF)

The journal of logic and algebraic programming, 2002-07, Vol.52-53, p.163-181
2002
Volltextzugriff (PDF)

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

Formal methods in system design, 2000-06, Vol.16 (3), p.307-320
2000
Volltextzugriff (PDF)

Open Access
A comparison of PVS and Isabelle/HOL
Lecture notes in computer science, 1998, p.123-142
1998
Volltextzugriff (PDF)

Open Access
Normed simulations
Computer Aided Verification, 1998, p.332-344
1998
Volltextzugriff (PDF)













Respiratory physiology & neurobiology, 2010-11, Vol.174 (1), p.102-110
2010
Volltextzugriff (PDF)



Nanomedicine (London, England), 2007-06, Vol.2 (3), p.307-324
2007
Volltextzugriff (PDF)


Angiogenesis (London), 2018-08, Vol.21 (3), p.425-532
2018
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt