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


International Conference on Software Engineering 2008, 2008, Vol.2008 (24), p.211-220
2008
Volltextzugriff (PDF)

Artificial intelligence, 2020-01, Vol.278, p.103196, Article 103196
2020
Volltextzugriff (PDF)

Interface focus, 2012-08, Vol.2 (4), p.512-521
2012
Volltextzugriff (PDF)

Formal aspects of computing, 2013-05, Vol.25 (3), p.389-403
2013
Volltextzugriff (PDF)

IEEE transactions on computers, 2013-02, Vol.62 (2), p.242-246
2013
Volltextzugriff (PDF)

2016 IEEE European Symposium on Security and Privacy (EuroS and P), 2016, p.31-46
2016
Volltextzugriff (PDF)


ACM transactions on embedded computing systems, 2023-01, Vol.22 (1), p.1-25, Article 6
2023
Volltextzugriff (PDF)

IEEE transactions on very large scale integration (VLSI) systems, 2012-11, Vol.20 (11), p.1997-2010
2012
Volltextzugriff (PDF)

Annual ACM IEEE Design Automation Conference: Proceedings of the 43rd annual conference on Design automation; 24-28 July 2006, 2006, p.1063-1068
2006
Volltextzugriff (PDF)

Proceedings - ACM IEEE Design Automation Conference, 2000-01
2000
Volltextzugriff (PDF)

International journal of parallel programming, 2006-03, Vol.34 (1), p.61-91
2006
Volltextzugriff (PDF)

Formal Methods in Computer-Aided Design, 2004, p.21-36
2004
Volltextzugriff (PDF)


Proceedings of the 2018 Symposium on Architectures for Networking and Communications Systems, 2018, p.125-140
2018
Volltextzugriff (PDF)

International journal on software tools for technology transfer, 2009-10, Vol.11 (4), p.325-338
2009
Volltextzugriff (PDF)


Simple Bounded LTL Model Checking
Formal Methods in Computer-Aided Design, 2004, p.186-200
2004
Volltextzugriff (PDF)

Lecture notes in computer science, 2006, p.282-285
2006
Volltextzugriff (PDF)

Computer Aided Verification, p.136-156
Volltextzugriff (PDF)

Formal Methods in Computer-Aided Design, 2004, p.367-381
2004
Volltextzugriff (PDF)

Formal Methods in Computer-Aided Design, 2004, p.382-398
2004
Volltextzugriff (PDF)

Lecture notes in computer science, 2000, p.335-353
2000
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n