Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!

Treffer: Enhancing the effectiveness of STLs for GPUs via bounded model checking

Titel:

Beteiligt:

Veröffentlicht:

Freiburg : Universität, 2025

Umfang:

1 Online-Ressource

Format:

E-Book

Sprache:

Englisch

Anmerkungen:

ACM transactions on design automation of electronic systems. - 30, 2 (2025) , 1-24, ISSN: 1557-7309

DOI:

10.1145/3706635

Zusatz-Informationen