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


Endangered species research, 2012, Vol.19 (2), p.157-169
2012
Volltextzugriff (PDF)


Information and computation, 2018-08, Vol.261, p.615-615
2018
Volltextzugriff (PDF)







Formal Techniques for Networked and Distributed Systems - FORTE 2002, 2002, Vol.2529, p.308-326
2002
Volltextzugriff (PDF)

Open Access
MOCHA: Modularity in model checking
Computer Aided Verification, 1998, p.521-525
1998
Volltextzugriff (PDF)




Formal Techniques for Networked and Distributed Systems - FORTE 2002, 2002, Vol.2529, p.243-259
2002
Volltextzugriff (PDF)

Lecture notes in computer science, 1998, p.110-121
1998
Volltextzugriff (PDF)

Improving Dependency Pairs
Lecture notes in computer science, 2003, p.167-182
2003
Volltextzugriff (PDF)


Lecture notes in computer science, 2003, p.78-90
2003
Volltextzugriff (PDF)

Lecture notes in computer science, 2003, p.259-273
2003
Volltextzugriff (PDF)

Lecture notes in computer science, 2002, p.194-209
2002
Volltextzugriff (PDF)

Computer Aided Verification, 1998, p.268-279
1998
Volltextzugriff (PDF)

Lecture notes in computer science, 2003, p.346-360
2003
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt