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...
Sortiert nach
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...
    Datensatz exportieren als...
  • BibTeX
Mechanized, Compositional Verification of Low-Level Code
NASA Formal Methods, p.98-112
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Verifying the Implementation of an Operating System Scheduler
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 2009, p.285-286
2009
Volltextzugriff (PDF)
1 – 2 von 2
Suche als RSS-Feed
Aktive Filter
KollektionTaylor & Francis Journals Complete
Zeitschrift / SerieBioanalysis
Zeitschrift / SeriePhysical Review Letters
ThemaGenomes
ThemaModel Check
ThemaComputer Science
Suchergebnisse filtern
Filter anzeigen