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...
Zur Ergebnisliste
Ergebnis 1 von 55
Open Access
    Datensatz exportieren als...
  • BibTeX
Special issue on Automated Verification of Critical Systems (AVoCS 2013)
Science of computer programming, 2015-11, Vol.111, p.213-213
2015
Volltextzugriff (PDF)

Details

Autor(en) / Beteiligte
Titel
Special issue on Automated Verification of Critical Systems (AVoCS 2013)
Ist Teil von
  • Science of computer programming, 2015-11, Vol.111, p.213-213
Ort / Verlag
Elsevier B.V
Erscheinungsjahr
2015
Quelle
Alma/SFX Local Collection
Sprache
Englisch
Identifikatoren
ISSN: 0167-6423
eISSN: 1872-7964
DOI: 10.1016/j.scico.2015.08.006
Titel-ID: cdi_crossref_primary_10_1016_j_scico_2015_08_006
Format
–

Weiterführende Literatur

Empfehlungen zum selben Thema automatisch vorgeschlagen von bX