Login
- Titel:
Efficient Implementation of LIMDDs for Quantum Circuit Simulation
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Vinkhuijzen, L.; Grurl, T.; Hillmich, S.; Brand, S.; Wille, R.; Laarman, A.
- Kongress- / Buchtitel:
- International Symposium on Model Checking of Software (SPIN)
- Jahr:
- 2023
BibTeX