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...
Computer Aided Verification, p.114-130
Volltextzugriff (PDF)


Tools and Algorithms for the Construction and Analysis of Systems, p.62-77
Volltextzugriff (PDF)

ACM transactions on software engineering and methodology, 2014-12, Vol.24 (2), p.1-24
2014
Volltextzugriff (PDF)

IEEE transactions on computer-aided design of integrated circuits and systems, 2015-10, Vol.34 (10), p.1558-1568
2015
Volltextzugriff (PDF)

International Design Journal, 2025-01, Vol.15 (1), p.80-90
2025
Volltextzugriff (PDF)

International Design Journal, 2024-11, Vol.14 (6), p.23-33
2024
Volltextzugriff (PDF)

International Design Journal, 2024-11, Vol.14 (6), p.44-60
2024
Volltextzugriff (PDF)

International Design Journal, 2024-09, Vol.14 (5), p.540-550
2024
Volltextzugriff (PDF)

IEEE transactions on computer-aided design of integrated circuits and systems, 2014-11, Vol.33 (11), p.1611-1622
2014
Volltextzugriff (PDF)

International Design Journal, 2024-07, Vol.14 (5), p.310-312
2024
Volltextzugriff (PDF)






2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC), 2014, p.1-6
2014
Volltextzugriff (PDF)


2013 Formal Methods in Computer-Aided Design, 2013, p.129-136
2013
Volltextzugriff (PDF)






Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n