mediaTUM - Media and Publication Server

User: Guest

Title:: Exploiting Reversible Computing for Verification: Potential, Possible Paths, and Consequences
Document type:: Konferenzbeitrag
Author(s):: Burgholzer, L.; Wille, R.
Book / Congress title:: Asia and South Pacific Design Automation Conference (ASP-DAC)
Year:: 2023
BibTeX

Occurrences:

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

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