Eintrag weiter verarbeiten
Reports of SFB/TR 14 AVACS: AVACS - Automatic Verification and Analysis of Complex Systems
Gespeichert in:
Personen und Körperschaften: | |
---|---|
Titel: | Reports of SFB/TR 14 AVACS: AVACS - Automatic Verification and Analysis of Complex Systems |
Medientyp: | Elektronische Schriftenreihe Monographische Schriftenreihe |
Sprache: | Unbestimmt |
veröffentlicht: |
Oldenburg [u.a.]
2004-
|
Schlagwörter: | |
Inhalte/Bestandteile: | 10 Datensätze |
Quelle: | Verbunddaten SWB Lizenzfreie Online-Ressourcen |