Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Die 2,3 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über "Alle Standorte - Online (frei zugänglich)" gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link "Archivobjekt öffnen" oder über die URN im Label "Persistent Identifier".
 
Neuigkeiten Aufgrund von Systemarbeiten sind die archivierten Webseiten vorübergehend nicht erreichbar.
 
 

Ergebnis der Suche nach: nid=141237376



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/141237376
Person Metzler, Björn
Land Deutschland (XA-DE)
Beruf(e) Informatiker
Typ Person (piz)
Autor von 2 Publikationen
  1. Decomposition for compositional verification
    Metzler, Björn, 2010
  2. Decomposition for compositional verification
    Metzler, Björn, 2010





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration