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

1, 2010
Volltextzugriff (PDF)

Second edition., 2018
Volltextzugriff (PDF)


Proceedings of the UGIM Symposium, Microelectronics Education for the Future. Twelfth Biennial University/Government/Industry Microelectronics Symposium (Cat. No.97CH36030), 1997, p.66-71
1997
Volltextzugriff (PDF)














NASA Formal Methods, 2013, p.337-351
2013
Volltextzugriff (PDF)



PyNuSMV: NuSMV as a Python Library
NASA Formal Methods, 2013, p.453-458
2013
Volltextzugriff (PDF)



Open Access
Widening as Abstract Domain
NASA Formal Methods, 2013, p.170-184
2013
Volltextzugriff (PDF)
Aktive Filter
PublikationsformArtikel
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt