Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "11801109X"
Treffer 1 von 24
|
|
| Link zu diesem Datensatz | https://d-nb.info/1366751884 |
| Titel | Enhancing the effectiveness of STLs for GPUs via bounded model checking |
| Person(en) |
Deligiannis, Nikolaos Ioannis (Verfasser) Faller, Tobias (Verfasser) Rodriguez Condia, Josie Esteban (Verfasser) Cantoro, Riccardo (Verfasser) Becker, Bernd (Verfasser) Sonza Reorda, Matteo (Verfasser) |
| Verlag | Freiburg : Universität |
| Zeitliche Einordnung | Erscheinungsdatum: 2025 |
| Umfang/Format | Online-Ressource (pdf) |
| Persistent Identifier |
URN: urn:nbn:de:bsz:25-freidok-2644662 DOI: 10.1145/3706635 |
| URL | https://freidok.uni-freiburg.de/data/264466 (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Anmerkungen | ACM transactions on design automation of electronic systems. - 30, 2 (2025) , 1-24, ISSN: 1557-7309 |
| DDC-Notation | 006.6 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 1 von 24
Administration
