Eintrag weiter verarbeiten
Buchumschlag von Reports of SFB/TR 14 AVACS: AVACS - Automatic Verification and Analysis of Complex Systems
Verfügbar über Open Access

Reports of SFB/TR 14 AVACS: AVACS - Automatic Verification and Analysis of Complex Systems

Gespeichert in:

Personen und Körperschaften: Sonderforschungsbereich Transregio 14 Automatische Verifikation und Analyse Komplexer Systeme (VerfasserIn)
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