Logo Logo
[höher] Eine Ebene höher
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: 2025
Anzahl der Publikationen: 1

2025

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662; Kanav, Sudeep ORCID logoORCID: https://orcid.org/0000-0001-6078-4175; Kleinert, Tobias ORCID logoORCID: https://orcid.org/0000-0003-3730-3745 und Richter, Cedric ORCID logoORCID: https://orcid.org/0000-0003-2906-6508 (2025): Construction of verifier combinations from off-the-shelf components. In: Formal Methods in System Design, Bd. 66, Nr. 1: S. 99-130 [PDF, 1MB]

Diese Liste wurde am Mon Nov 10 23:32:59 2025 CET erstellt.

Open Access LMU verwendet EPrints 3, das an der School of Electronics and Computer Science der Universität Southampton entwickelt wurde.
Impressum − Datenschutz