Title of cluster (medium version)  

Reports of SFB/TR 14, AVACS

Identifiers
Resource information

Key-title: Reports of SFB/TR 14, AVACS

Title proper: Reports of SFB/TR 14, AVACS.

Other variant title: Reports of Sonderforschungsbereich/Transregio Vierzehn, Automatic Verification and Analysis of Complex Systems

Other variant title: AVACS technical report

Country: Germany



Record information

Last modification date: 06/02/2021

Type of record: Confirmed

ISSN Center responsible of the record: ISSN National Centre for Germany

Links
.........