mediaTUM - Medien- und Publikationsserver

Benutzer: Gast

Titel:: Exploiting Reversible Computing for Verification: Potential, Possible Paths, and Consequences
Dokumenttyp:: Konferenzbeitrag
Autor(en):: Burgholzer, L.; Wille, R.
Kongress- / Buchtitel:: Asia and South Pacific Design Automation Conference (ASP-DAC)
Jahr:: 2023
BibTeX

Vorkommen:

mediaTUM Gesamtbestand Einrichtungen Schools TUM School of Computation, Information and Technology Departments Computer Engineering Design Automation (Prof. Wille)

mediaTUM Gesamtbestand Hochschulbibliographie 2023 Schools und Fakultäten TUM School of Computation, Information and Technology Design Automation (Prof. Wille)