| Original language | American English |
|---|---|
| Supervisors/Advisors |
|
| State | Published - Mar 2022 |
Research output
- 1 Conference contribution
-
Equivalence Checking Paradigms in Quantum Circuit Design: A Case Study
Peham, T., Burgholzer, L. & Wille, R., 10 Jul 2022, Proceedings of the 59th ACM/IEEE Design Automation Conference, DAC 2022. Institute of Electrical and Electronics Engineers Inc., p. 517-522 6 p. (Proceedings - Design Automation Conference).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access12 Scopus citations
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver