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, 2004, Vol.2988, p.31-45
2004
Volltextzugriff (PDF)

British journal of oral & maxillofacial surgery, 2019-12, Vol.57 (10), p.e30-e30
2019
Volltextzugriff (PDF)

Fate and free will in error traces
Lecture notes in computer science, 2002, p.445-459
2002
Volltextzugriff (PDF)

Lecture notes in computer science, 2000, p.143-160
2000
Volltextzugriff (PDF)

Annual ACM IEEE Design Automation Conference: Proceedings of the 37th conference on Design automation; 05-09 June 2000, 2000, p.29-34
2000
Volltextzugriff (PDF)

Fate and free will in error traces
International journal on software tools for technology transfer, 2004-08, Vol.6 (2), p.102-116
2004
Volltextzugriff (PDF)

Formal methods in system design, 2006-01, Vol.28 (1), p.5-36
2006
Volltextzugriff (PDF)

A Hybrid Algorithm for LTL Games
Verification, Model Checking, and Abstract Interpretation, 2008, Vol.4905, p.309-323
2008
Volltextzugriff (PDF)

Annual ACM IEEE Design Automation Conference: Proceedings of the 37th conference on Design automation; 05-09 June 2000, 2000, p.23-28
2000
Volltextzugriff (PDF)

Correct Hardware Design and Verification Methods, 1999, p.250-266
1999
Volltextzugriff (PDF)

Formal Methods in Computer-Aided Design, 2002, Vol.2517, p.88-105
2002
Volltextzugriff (PDF)

Annual ACM IEEE Design Automation Conference: Proceedings of the 35th annual conference on Design automation; 15-19 June 1998, 1998, p.445-450
1998
Volltextzugriff (PDF)




1994
Volltextzugriff (PDF)

Modular verification of multipliers
Formal Methods in Computer-Aided Design, 1996, p.49-63
1996
Volltextzugriff (PDF)

Open Access
High-density reachability analysis
Proceedings of IEEE International Conference on Computer Aided Design (ICCAD), 1995, p.154-158
1995
Volltextzugriff (PDF)


High-density reachability analysis
Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design, 1995, p.154-158
1995
Volltextzugriff (PDF)

Open Access
Fate and FreeWill in Error Traces
Tools and Algorithms for the Construction and Analysis of Systems, 2002, p.445-459
2002
Volltextzugriff (PDF)

IEEE transactions on systems, man and cybernetics. Part B, Cybernetics, 1997-06, Vol.27 (3), p.559-566
1997
Volltextzugriff (PDF)


Proceedings of 1995 IEEE International Conference on Robotics and Automation, 1995, Vol.3, p.2961-2967 vol.3
1995
Volltextzugriff (PDF)

World journal of clinical oncology, 2022-03, Vol.13 (3), p.209-218
2022
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n