Title of cluster (medium version) Reports of SFB/TR 14, AVACS
Reports of SFB/TR 14, AVACS
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