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 journal on software tools for technology transfer, 2012-02, Vol.14 (1), p.95-108
2012
Volltextzugriff (PDF)

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


2013 Formal Methods in Computer-Aided Design, 2013, p.121-128
2013
Volltextzugriff (PDF)

Efficient modular SAT solving for IC3
2013 Formal Methods in Computer-Aided Design, 2013, p.149-156
2013
Volltextzugriff (PDF)