Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Sprache
1 Treffer
-
A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective.In: ACM Transactions on Multimedia Computing, Communications & Applications, Jg. 19 (2023), Heft 1, S. 1-22Online academicJournalZugriff: