- Document type:
- Konferenzbeitrag
- Author(s):
- Vinkhuijzen, L.; Grurl, T.; Hillmich, S.; Brand, S.; Wille, R.; Laarman, A.
- Title:
- Efficient Implementation of LIMDDs for Quantum Circuit Simulation
- Book / Congress title:
- International Symposium on Model Checking of Software (SPIN)
- Year:
- 2023
BibTeX